R. M. Baer. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 151–174
Autor: | Calvin C. Elgot, R. M. Baer |
---|---|
Rok vydání: | 1970 |
Předmět: | |
Zdroj: | The Journal of Symbolic Logic. 35:158-159 |
ISSN: | 1943-5886 0022-4812 |
DOI: | 10.2307/2271216 |
Databáze: | OpenAIRE |
Externí odkaz: |