Pages that link to "Item:Q5090951"
From MaRDI portal
The following pages link to Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951):
Displaying 9 items.
- (Q5021013) (← links)
- (Q5028456) (← links)
- Minimizing GFG Transition-Based Automata (Q5091262) (← links)
- (Q5101349) (← links)
- (Q5207047) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)
- Checking history-determinism is NP-hard for parity automata (Q6629459) (← links)
- History-deterministic timed automata (Q6635511) (← links)