Forest Expressions

DOI10.1007/978-3-540-74915-8_14zbMath1179.68068OpenAlexW2913236170MaRDI QIDQ3608410

Mikołaj Bojańczyk

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Classical first-order logic (03B10)

Related Items (3)

Simplifying XML schema: single-type approximations of regular tree languages ⋮ Adjunct elimination in context logic for trees ⋮ A Kleene Theorem for Forest Languages

This page was built for publication: Forest Expressions