Pages that link to "Item:Q4462679"

The following pages link to Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines (Q4462679):

Displaying 24 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)
• Wadge degrees of infinitary rational relations (Q1001349) (← links)
• \(\Pi_ 2^ 1\) Wadge degrees (Q1919526) (← links)
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
• Wadge hierarchy and Veblen hierarchy. I: Borel sets of finite rank (Q2732268) (← links)
• Towards the Effective Descriptive Set Theory (Q3195711) (← links)
• Borel ranks and Wadge degrees of context free $\omega$-languages (Q3422021) (← 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)
• The determinacy strength of pushdown<i>ω</i>-languages (Q5354436) (← 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)
• Computer science and the fine structure of Borel sets (Q5941255) (← links)
• On the main scientific achievements of Victor Selivanov (Q6146819) (← links)
• Iterated priority arguments in descriptive set theory (Q6636685) (← links)