On regular tree languages and deterministic pushdown automata

From MaRDI portal
Publication:1037619