Quasi-rocking real-time pushdown automata

From MaRDI portal
Publication:650904