Publication:4818837
From MaRDI portal
zbMath1046.68569MaRDI QIDQ4818837
Publication date: 24 September 2004
68Q45: Formal languages and automata
Related Items
On the Decidability of the Equivalence Problem for Monadic Recursive Programs, The equivalence problem for deterministic pushdown automata is decidable