One-counter automata for parsing and language approximation

From MaRDI portal
Publication:1616986