Algebras, Automata and Logic for Languages of Labeled Birooted Trees - researchr publication related

researchr

You are not signed in
Sign in
Sign up

David Janin. Algebras, Automata and Logic for Languages of Labeled Birooted Trees. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Volume 7966 of Lecture Notes in Computer Science, pages 312-323, Springer, 2013. [doi]

The following publications are possibly variants of this publication:

On labeled birooted tree languages: Algebras, automata and logicDavid Janin. iandc, 243:222-248, 2015. [doi]

runs on WebDSL