The undecidability of self-embedding for term rewriting systems
- 1 February 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 20 (2) , 61-64
- https://doi.org/10.1016/0020-0190(85)90063-8
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982