Combining unification algorithms for confined regular equational theories

Authors:
Kathy Yelick
Affiliations:
Massachusetts Institute of Technology, Cambridge
Venue:
Proc. of the first international conference on Rewriting techniques and applications
Year:
1985

Citing 0
Cited 5

On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation
Unification in Boolean Rings and Abelian Groups

Journal of Symbolic Computation
Matching - A special case of unification?

Journal of Symbolic Computation
The role of term symmetry in E-completion procedures

CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Set unification

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract