Fine hierarchy of regular ω-languages
- 30 January 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 191 (1-2) , 37-59
- https://doi.org/10.1016/s0304-3975(97)00301-0
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Fine hierarchies and Boolean termsThe Journal of Symbolic Logic, 1995
- The Hausdorff-Kuratowski hierarchy of ω-regular languages and a hierarchy of Muller automataTheoretical Computer Science, 1992
- Fine hierarchy and definable index setsAlgebra and Logic, 1991
- Refined hierarchy of formulasAlgebra and Logic, 1991
- Borel classes and closed games: Wadge-type and Hurewicz-type resultsTransactions of the American Mathematical Society, 1987
- Hierearchies of hyperarithmetical sets and functionsAlgebra and Logic, 1983
- On ω-regular setsInformation and Control, 1979
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969