A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm

Authors:
Claude Kirchner
Affiliations:
-
Venue:
Proceedings of the 7th International Conference on Automated Deduction
Year:
1984

Citing 0
Cited 4

Unification problems with one-sided distributivity

Journal of Symbolic Computation
On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories

Journal of Symbolic Computation
A structured connectionist unification algorithm

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract