Constraints in computational logics
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
UNIMOK: A System for Combining Equational Unification Algorithm
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Matching with Free Function Symbols - A Simple Extension of Matching?
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Combining Pattern E-Unification Algorithms
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Combining Proof-Producing Decision Procedures
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Combination of convex theories: Modularity, deduction completeness, and explanation
Journal of Symbolic Computation
Rule-Based Constraint Programming
Fundamenta Informaticae
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |