Pages that link to "Item:Q5327425"
From MaRDI portal
The following pages link to Nondeterminism in the Presence of a Diverse or Unknown Future (Q5327425):
Displaying 13 items.
- Width of Non-deterministic Automata (Q3304146) (← links)
- On Determinisation of Good-for-Games Automata (Q3449484) (← links)
- (Q5021013) (← links)
- (Q5028456) (← links)
- Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951) (← links)
- Minimizing GFG Transition-Based Automata (Q5091262) (← links)
- (Q5101349) (← links)
- How Deterministic are Good-For-Games Automata? (Q5136308) (← links)
- (Q5207047) (← links)
- (Q5232903) (← links)
- (Q5875380) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)