Pages that link to "Item:Q4462679"
From MaRDI portal
The following pages link to Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines (Q4462679):
Displaying 17 items.
- Infinite games specified by 2-tape automata (Q324245) (← links)
- The Hausdorff-Ershov hierarchy in Euclidean spaces (Q818930) (← links)
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Towards the Effective Descriptive Set Theory (Q3195711) (← links)
- The Wadge Hierarchy of Petri Nets ω-Languages (Q3455844) (← links)
- Hierarchies of function classes defined by the first-value operator (Q3515461) (← links)
- FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES (Q3538855) (← links)
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (Q3644751) (← links)
- On the Difference Hierarchy in Countably Based T0-Spaces (Q4918020) (← links)
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words (Q5025066) (← links)
- On the High Complexity of Petri Nets $$\omega $$-Languages (Q5100750) (← links)
- Polishness of some topologies related to word or tree automata (Q5376660) (← links)
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization (Q5740666) (← links)
- Wadge hardness in Scott spaces and its effectivization (Q5740667) (← links)
- On the main scientific achievements of Victor Selivanov (Q6146819) (← links)