Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference25 articles.
1. J.R. Büchi, On a decision method in restricted second order arithmetic,Int. Congress of Logic Methodology and Philosophy of Science, Stanford, CA (1960) pp. 1–11.
2. Lecture Notes in Mathematics;J.R. Büchi,1973
3. R.S. Cohen and A.Y. Gold, Theory of ω-languages. I: Characterization of ω-context-free languages, J. Comp. Syst. Sci. 15(1977)169–184.
4. R.S. Cohen and A.Y. Gold, Theory of ω-languages. II: A study of various models of ω-type generation and recognition, J. Comp. Syst. Sci. 15(1977)185–208.
5. R.S. Cohen and A.Y. Gold, ω-Computations on deterministic pushdown machines, J. Comp. Syst. Sci. 16(1978)275–300.