Remarks on an example of Jantzen
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 29 (3) , 277-284
- https://doi.org/10.1016/0304-3975(84)90003-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A note on special thue systems with a single defining relationTheory of Computing Systems, 1983
- A note on representations of a certain monoidTheoretical Computer Science, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- On a special monoid with a single defining relationTheoretical Computer Science, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980