A unification algorithm for confluent theories
Authors:
S. Hölldobler
Affiliations:
-
Venue:
14th International Colloquium on Automata, languages and programming
Year:
1987
Citing
0
Cited
1
Basic narrowing revisited
Journal of Symbolic Computation
Quantified Score
Hi-index
0.00
Visualization
Abstract