Searching for "Relative Undecidability in Term Rewriting." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Relative Undecidability in Term Rewriting
- …Relative Undecidability in Term Rewriting Alfons Geser 1 , Aart Middeldorp 2? , Enno Ohlebusch…
- Cited by 3 (3 self) – Add To MetaCart
-
Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy
- …Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy Alfons Geser ICASE…
- Cited by 1 (0 self) – Add To MetaCart
-
Fourth International Workshop on Termination WST '99
- …), 23-50. [2] Geser, A., Middeldorp, A., Ohlebusch, E., and Zantema, H. Relative undecidability in term…
- Add To MetaCart
Showing 1 through 3.
