On Repetition Languages
From MaRDI portal
Publication:5089230
DOI10.4230/LIPIcs.MFCS.2020.59OpenAlexW3082239530MaRDI QIDQ5089230
Ofer Leshkowitz, Orna Kupferman
Publication date: 18 July 2022
Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2020.59
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about infinite computations
- Automata Theory and Model Checking
- Graph Games and Reactive Synthesis
- Model Checking Probabilistic Systems
- On the Succinctness of Nondeterminism
- Promptness in ω-Regular Automata
- From linear time to branching time
- Decision problems forω-automata
- Testing and generating infinite sequences by a finite automaton
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: On Repetition Languages