Relative Undecidability in Term Rewriting: II. The...

Information and Computation 2002 Vol. 178; Iss. 1

Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
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:
178
Year:
2002
Language:
english
Pages:
17
DOI:
10.1006/inco.2002.3150
File:
PDF, 142 KB
english, 2002
Conversion to is in progress
Conversion to is failed