On unification: Equational theories are not bounded
Journal of Symbolic Computation
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Unification in combinations of collapse-free regular theories
Journal of Symbolic Computation
Journal of the ACM (JACM)
On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Hi-index | 0.00 |