Fine hierarchies and m-reducibilities in theoretical computer science☆
Under an Elsevier user license
open archive
Keywords
Hierarchy
-reducibility
Topology
Logic
Computability
Complexity
Difference hierarchy
Fine hierarchy
Boolean term
Alternating tree
-partition
Baire space
Baire domain
Language
-language
Automaton
Cited by (0)
- ☆
Supported by a DAAD project within the program “Ostpartnerschaften”, by DFG Mercator program, by DFG-RFBR Grant 06-01-04002 and by RFBR Grant 07-01-00543a.
Copyright © 2008 Elsevier B.V. All rights reserved.