The undecidability of the unification and matching problem for canonical theories
From MaRDI portal
Publication:1077931
DOI10.1007/BF00264362zbMath0595.68031OpenAlexW2008100839MaRDI QIDQ1077931
Stephan Heilbrunner, Steffen Hölldobler
Publication date: 1987
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00264362
Related Items
It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair ⋮ Algebraic and logical aspects of unification