Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;N. Bedon,2008
2. Lecture Notes in Computer Science;V. Bruyère,2001
3. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1962)
4. Büchi, J.R., Siefkes, D.: The Monadic Second-order Theory of all Countable Ordinals. Springer Lecture Notes, vol. 328 (1973)
5. Burgess, J.P., Gurevich, Y.: The decision problem for linear temporal logic. Notre Dame J. Formal Logic 26(2), 115–128 (1985)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献