Handbook of theoretical computer science (vol. B)
Fine hierarchies and Boolean terms
Journal of Symbolic Logic
Handbook of formal languages, vol. 3
Fine hierarchy of regular &ohgr;-languages
Theoretical Computer Science
Two Refinements of the Polynomial Hierarcht
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
Fine Hierarchy of Regular omega-Languages
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Fundamental study: a hierarchy of deterministic context-free ω-languages
Theoretical Computer Science
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
The wadge hierarchy of deterministic tree languages
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Fine hierarchies and m-reducibilities in theoretical computer science
Theoretical Computer Science
The Shrinking Property for NP and coNP
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Complexity of Aperiodicity for Topological Properties of Regular ω-Languages
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
The shrinking property for NP and coNP
Theoretical Computer Science
Languages vs. ω-languages in regular infinite games
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Logical refinements of Church's problem
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |
We develop a theory of regular aperiodic ω-languages in parallel with the theory around the Wagner hierarchy. In particular, we characterize the Wadge degrees of regular aperiodic ω-languages, find an effective version of the Wadge reducibility adequate for this class of languages and prove "aperiodic analogs" of the Büchi-Landweber determinacy theorem and of Landweber's description of regular open and regular Gδ sets.