FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897794
DOI10.1007/11590156zbMath1172.03308OpenAlexW2484051058MaRDI QIDQ5897794
Sebastian Maneth, Joost Engelfriet
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (2)
The equivalence problem for deterministic MSO tree transducers is decidable ⋮ Automata for XML -- a survey
This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science