Undecidable questions related to Church-Rosser Thue systems
- 31 May 1983
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 23 (3) , 339-345
- https://doi.org/10.1016/0304-3975(83)90039-7
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The power of the Church-Rosser property for string rewriting systemsPublished by Springer Nature ,2005
- Infinite regular Thue systemsTheoretical Computer Science, 1983
- Monadic Thue systemsTheoretical Computer Science, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Testing for the Church-Rosser propertyTheoretical Computer Science, 1981
- Thue congruences and the Church-Rosser propertySemigroup Forum, 1981
- Recursive Unsolvability of Group Theoretic ProblemsAnnals of Mathematics, 1958
- Markov A.. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956.The Journal of Symbolic Logic, 1952
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947