An algebraic approach to unification under associativity and commutativity
Journal of Symbolic Computation
Only prime superpositions need be considered in the Knuth-Bendix completion procedure
Journal of Symbolic Computation
The role of term symmetry in E-completion procedures
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints in computational logics
A Methodological View of Constraint Solving
Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Schema recognition for program transformations
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Alternating two-way AC-tree automata
Information and Computation
Hi-index | 0.00 |