Author:
Geldenhuys Jaco,Hansen Henri
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Aho, A.V., Hopcroft, J.E., Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading (1974)
2. Lecture Notes in Computer Science;L. Brim,2001
3. Büchi, J.R.: Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Math. 6, 66–92 (1960)
4. Büchi, J.R.: On a decision method in restricted second-order arithmetic. In: Proc. 1960 Intl. Congr. Logic, Method and Philosophy of Science, pp. 1–11. Stanford Univ. Press (June 1962)
5. Choueka, Y.: Theories of automata on ω-tapes: a simplified approach. Journal Computer and System Sciences 8, 117–141 (1974)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献