Constraints in computational logics
Combination of constraint systems II: rational amalgamation
Theoretical Computer Science
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
UNIMOK: A System for Combining Equational Unification Algorithm
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
Journal of Automated Reasoning
| Hi-index | 0.00 |