Synchronizing words for real-time deterministic pushdown automata (extended abstract)

From MaRDI portal
Publication:2079977