The ultimate equivalence problem for DOL systems
- 1 March 1978
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 10 (1) , 79-84
- https://doi.org/10.1007/bf00260925
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Propagating chain-free normal forms for EOL systemsInformation and Control, 1978
- The decidability of υ-local catenativity and of other properties of DOL systemsInformation Processing Letters, 1978
- The decidability of the equivalence problem for DOL-systemsInformation and Control, 1977
- On the decidability of the sequence equivalence problem for DOL-systemsTheoretical Computer Science, 1976