Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Journal of Symbolic Computation
On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
High-performance permutative completion
High-performance permutative completion
Hi-index | 0.00 |