Author:
Cohen Rina S.,Gold Arie Y.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference22 articles.
1. On a Decision Method in Restricted Second Order Arithmetic;Buchi,1960
2. Dcision methods in the theory of ordinals;Buchi;Bull. Amer. Math. Soc.,1965
3. Definability in the monadic second order theory of successor;Buchi;J. Symbolic Logic,1969
4. Finite Automata on Infinite Structures;Choueka,1970
5. Theories of automata on ω-tapes: A simplified approach;Choueka;J. Comput. System Sci.,1974
Cited by
97 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum Büchi automata;Theoretical Computer Science;2024-10
2. A proof theory of right-linear (ω-)grammars via cyclic proofs;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. A Proof Theory of ($$\omega $$-)Context-Free Languages, via Non-wellfounded Proofs;Lecture Notes in Computer Science;2024
4. Good-for-games $\omega$-Pushdown Automata;Logical Methods in Computer Science;2023-02-15
5. Comparator automata in quantitative verification;Logical Methods in Computer Science;2022-07-29