Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. A. Arnold and M. Nivat, Formal computations of nondeterministic program schemes, Math. Syst. Theory 13(1980)219–236.
2. J.R. Büchi, On a decision method in restricted second order arithmetic, Proc. Cong. Logic Method and Philos. of Sci. 1960, Univ. Press, Stanford California.
3. R. S. Cohen and A. Y. Gold, Theory of ω-languages II: A study of various models of ω-types generation and recognition, J. Comput. Syst. Sci. 15(1977)185–208.
4. R. S. Cohen and A. Y. Gold, ω-computations of deterministic pushdown machines, J. Comput. Syst. Sci. 16(1978)275–300.
5. S. Eilenberg, Automata, Languages, and Machines, Academic Press(1974).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献