Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Banieqbal, B. & Barringer, H.: Temporal logic with fixed points, in Temporal Logic in Specification, LNCS vol. 398, Springer-Verlag, 1989, pp. 62–74
2. Büchi, J. R.: Using determinacy to eliminate quantifiers, in Fundamentals of Computation Theory, LNCS vol. 56, 1977, pp. 367–378
3. Büchi, J. R.: State-strategies for games in F σδ ∩ G δσ, in Journal of Symbolic Logic, vol. 48, 1983, pp. 1171–1198
4. Dam, M.: Fixpoints of Büchi automata, in Proceedings of the 12th FST & TCS, LNCS vol. 652, Springer-Verlag, 1992, pp. 39–50
5. Emerson, E. A. & Jutla, C. S.: On simultaneously determinizing and complementing ω-automata, in Proceedings of the 4th IEEE LICS, 1989
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Guarding Nested Fixpoints;Computer Science Logic;1999