Automated deduction by theory resolution
Journal of Automated Reasoning
On the Church-Rosser property for the direct sum of term rewriting systems
Journal of the ACM (JACM)
Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Unification in combinations of collapse-free theories with disjoint sets of function symbols
Proc. of the 8th international conference on Automated deduction
Combination of unification algorithms
Proc. of the 8th international conference on Automated deduction
Journal of Automated Reasoning
Unification in combinations of collapse-free regular theories
Journal of Symbolic Computation
Unification problems with one-sided distributivity
Journal of Symbolic Computation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Unification in Boolean Rings and Abelian Groups
Journal of Symbolic Computation
Communications of the ACM
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
On solving equations and disequations
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming
Combining unification algorithms
Journal of Symbolic Computation
Combining symbolic constraint solvers on algebraic domains
Journal of Symbolic Computation
Combination techniques and decision problems for disunification
RTA-93 Selected papers of the fifth international conference on Rewriting techniques and applications
On the modularity of termination of term rewriting systems
Theoretical Computer Science
Modular properties of composable term rewriting systems
Journal of Symbolic Computation
Unification in the union of disjoint equational theories: combining decision procedures
Journal of Symbolic Computation
Combination of constraint solvers for free and quasi-free structures
Theoretical Computer Science - Special issue: rewriting systems and applications
On the complexity of Boolean unification
Information Processing Letters
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Deciding Combinations of Theories
Journal of the ACM (JACM)
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Canonical Equational Proofs
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Combining Equational Theories Sharing Non-Collapse-Free Constructors
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Why Combined Decision Problems Are Often Intractable
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Makanin's Algorithm for Word Equations - Two Improvements and a Generalization
IWWERT '90 Proceedings of the First International Workshop on Word Equations and Related Topics
Algebraic and Logic Aspects of Unification
IWWERT '90 Proceedings of the First International Workshop on Word Equations and Related Topics
General A- and AX-Unification via Optimized
IWWERT '91 Proceedings of the Second International Workshop on Word Equations and Related Topics
Combination of Constraint Solving Techniques: An Algebraic POint of View
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Associative-Commutative Unification
Proceedings of the 7th International Conference on Automated Deduction
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
AC-Superposition with Constraints: No AC-Unifiers Needed
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Combination Techniques for Non-Disjoint Equational Theories
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
On Shostak's Decision Procedure for Combinations of Theories
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results
Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results
Combining satisfiability procedures for automated deduction and constraint-based reasoning
Combining satisfiability procedures for automated deduction and constraint-based reasoning
A complete unification algorithm for associative-commutative functions
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |