Author:
Mostowski Andrzej Włodzimierz
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Buchi, J.R., On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science: Proc. 1960 Intern. Congr., p. 1–11 /Stanford Univ. Press, 1962/MR 32 7413.
2. Karpiński, M., Almost deterministic ω-automaton with exsistential output condition, Proc. Amer. Math. Soc. 53/1975/ p. 449–452.
3. Muller, D.E., Infinite sequences and finite machines. Swithing Circuit Theory and Logical Design, Proc. Fourth Am. Symp. p. 3–16 IEEE New York.
4. McNaughton, R., Testing and generating infinite sequences by a finite automaton. Information and Control 9 /1966/ p. 521–530. MR 35 4105.
5. Steiger, L., Wagner, K., Abstrakte familien von ω-sprachen /ω-AFL/. Tagungsbericht II Int. Symp. Algorithm Kompl. Lern u. Erkennungsproz. Jena 1976.