search result

Cover von Unambiguous Languages Exhaust the Index Hierarchy

Unambiguous Languages Exhaust the Index Hierarchy

Year: 2018
Media group: LIPIcs
Cover von Descriptive Set Theoretic Methods in Automata Theory
Decidability and Topological Complexity
Author: Skrzypczak, Michał Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9802
Media group: MONOGRAPHIE
Cover von Unambiguity and uniformization problems on infinite trees

Unambiguity and uniformization problems on infinite trees

Year: 2013
Media group: LIPIcs
Cover von Positionality in Σ⁰₂ and a Completeness Result

Positionality in Σ⁰₂ and a Completeness Result

Year: 2024
Media group: LIPIcs
Cover von Deterministic and Game Separability for Regular Languages of Infinite Trees

Deterministic and Game Separability for Regular Languages of Infinite Trees

Year: 2021
Media group: LIPIcs
Cover von Regular Choice Functions and Uniformisations For countable Domains

Regular Choice Functions and Uniformisations For countable Domains

Year: 2020
Media group: LIPIcs
Cover von A Characterisation of Pi^0_2 Regular Tree Languages

A Characterisation of Pi^0_2 Regular Tree Languages

Year: 2017
Media group: LIPIcs
Cover von The Logical Strength of Büchi's Decidability Theorem

The Logical Strength of Büchi's Decidability Theorem

Year: 2016
Media group: LIPIcs
Cover von On the Complexity of Branching Games with Regular Conditions

On the Complexity of Branching Games with Regular Conditions

Year: 2016
Media group: LIPIcs
Cover von Deciding the Topological Complexity of Büchi Languages

Deciding the Topological Complexity of Büchi Languages

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0