On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store

From MaRDI portal
Publication:3674059