Pages that link to "Item:Q737116"
From MaRDI portal
The following pages link to Descriptive set theoretic methods in automata theory. Decidability and topological complexity (Q737116):
Displaying 9 items.
- Some descriptive-set-theoretical problems in complexity theory (Q1328888) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- Descriptive set theory, from Cantor to Wadge and beyond (Q2148861) (← links)
- The topological complexity of MSO+U and related automata models (Q2909624) (← links)
- Regular languages of thin trees (Q2957916) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- (Q3998008) (← links)
- A Characterisation of Pi^0_2 Regular Tree Languages (Q5111272) (← links)
- Polishness of some topologies related to word or tree automata (Q5376660) (← links)