Pages that link to "Item:Q5164866"
From MaRDI portal
The following pages link to Self-Verifying Pushdown and Queue Automata (Q5164866):
Displaying 7 items.
- Boolean kernels of context-free languages (Q2117675) (← links)
- Iterative arrays with self-verifying communication cell (Q2278569) (← links)
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties (Q2344746) (← links)
- Input-Driven Queue Automata with Internal Transductions (Q2798717) (← links)
- Operations on Self-Verifying Finite Automata (Q3194721) (← links)
- Queue Automata: Foundations and Developments (Q5112182) (← links)
- Iterative arrays with self-verifying communication cell (Q6195133) (← links)