Algebras, Automata and Logic for Languages of Labeled Birooted Trees

DOI10.1007/978-3-642-39212-2_29zbMath1335.68157OpenAlexW1781208906MaRDI QIDQ5327443

David Janin

Publication date: 7 August 2013

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39212-2_29

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Related Items (2)

A syntactic congruence for languages of birooted trees ⋮ On labeled birooted tree languages: algebras, automata and logic

This page was built for publication: Algebras, Automata and Logic for Languages of Labeled Birooted Trees