The undecidability of the unification and matching problem for canonical theories

Authors:
S Hielbrunner;S Hölldobler
Affiliations:
-;-
Venue:
Acta Informatica
Year:
1987

Citing 0
Cited 3

Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories

Journal of Automated Reasoning
Jeopardy

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Primitive rewriting

Processes, Terms and Cycles

Quantified Score

Hi-index	0.00

Visualization

Abstract