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