The undecidability of the unification and matching problem...

Acta Informatica 1987 / 04 Vol. 24; Iss. 2

The undecidability of the unification and matching problem for canonical theories

Stephan Heilbrunner, Steffen Hölldobler
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
24
Language:
english
Pages:
15
DOI:
10.1007/bf00264362
Date:
April, 1987
File:
PDF, 662 KB
english, 1987
Conversion to is in progress
Conversion to is failed