Pushdown automata and constant height: decidability and bounds

From MaRDI portal
Publication:2179342