Pages that link to "Item:Q6137877"
From MaRDI portal
The following pages link to A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877):
Displaying 4 items.
- 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)