×

Logic, arithmetic, and automata. (English) Zbl 0116.33604

Proc. Int. Congr. Math., Stockholm 1962, 23-35 (1963).
Systematische Übersicht über die neueren Ergebnisse auf dem Gebiet der Anwendung mathematischer Logik in der Theorie der endlichen Automaten unter Berücksichtigung der geschichtlichen Entwicklung
Reviewer: E. van Rootselaar

MSC:

03D05 Automata and formal grammars in connection with logical questions
68Q45 Formal languages and automata

Citations:

Zbl 0114.00203