Author:
Bradfield Julian,Duparc Jacques,Quickert Sandra
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Bradfield, J.: Fixpoints, Games and the Difference Hierarchy. Theoretical Informatics and Applications 37, 1–15 (2003)
2. Bradfield, J., Stirling, C.: Modal Logics and mu-calculi: An Introduction. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 293–329. Elsevier Science B.V., Amsterdam (2001)
3. Duparc, J.: Wadge Hierarchy and Veblen Hierarchy, Part I: Borel sets of finite rank. Journal of Symbolic Logic 66, 56–86 (2001)
4. Grädel, E., Walukiewicz, I.: Positional Determinacy of Games with Infinitely Many Priorities (manuscript)
5. Kechris, A.: Classical descriptive set theory. Springer, Heidelberg (1995)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Higher-Order Feedback Computation;Lecture Notes in Computer Science;2024
2. Measure properties of regular sets of trees;Information and Computation;2017-10
3. An upper bound on the complexity of recognizable tree languages;RAIRO - Theoretical Informatics and Applications;2015-04
4. Measure Properties of Game Tree Languages;Mathematical Foundations of Computer Science 2014;2014