Complexity of certain decision problems about congruential languages
- 1 June 1985
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 30 (3) , 343-358
- https://doi.org/10.1016/0022-0000(85)90051-0
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Infinite regular Thue systemsTheoretical Computer Science, 1983
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Thue congruences and the Church-Rosser propertySemigroup Forum, 1981
- The covering and boundedness problems for vector addition systemsTheoretical Computer Science, 1978
- Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1976
- Strong Computability and Variants of the Uniform Halting ProblemMathematical Logic Quarterly, 1971
- Parallel program schemataJournal of Computer and System Sciences, 1969
- The undecidability of the Turing machine immortality problemThe Journal of Symbolic Logic, 1966
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947
- Some properties of conversionTransactions of the American Mathematical Society, 1936