Pages that link to "Item:Q2097230"
From MaRDI portal
The following pages link to On the determinization of event-clock input-driven pushdown automata (Q2097230):
Displaying 6 items.
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties (Q2344746) (← links)
- Input-Driven Pushdown Automata with Limited Nondeterminism (Q2921977) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- (Q4934330) (← links)
- Exact descriptional complexity of determinization of input-driven pushdown automata (Q6666802) (← links)