Author:
Rabinovich Alexander,Thomas Wolfgang
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Nagel, E., et al. (eds.) Proc. International Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press (1960)
2. Büchi, J.R., Landweber, L.H.: Definability in the monadic second-order theory of successor. J. Symb. Logic 34, 166–170 (1969)
3. Lecture Notes in Computer Science;O. Carton,2000
4. Carton, O., Thomas, W.: The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. 176(1), 51–65 (2002)
5. Elgot, C., Rabin, M.O.: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Logic 31(2), 169–181 (1966)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Monadic Second-Order Logic with Arbitrary Monadic Predicates;ACM Transactions on Computational Logic;2017-07-31
3. On Boolean Closed Full Trios and Rational Kripke Frames;Theory of Computing Systems;2016-07-25
4. Monadic Second-Order Logic with Arbitrary Monadic Predicates;Mathematical Foundations of Computer Science 2014;2014
5. A Myhill-Nerode theorem for automata with advice;Electronic Proceedings in Theoretical Computer Science;2012-10-07