Algebras, Automata and Logic for Languages of Labeled Birooted Trees

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]

@inproceedings{Janin13-0,
  title = {Algebras, Automata and Logic for Languages of Labeled Birooted Trees},
  author = {David Janin},
  year = {2013},
  doi = {10.1007/978-3-642-39212-2_29},
  url = {http://dx.doi.org/10.1007/978-3-642-39212-2_29},
  researchr = {https://researchr.org/publication/Janin13-0},
  cites = {0},
  citedby = {0},
  pages = {312-323},
  booktitle = {Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II},
  editor = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
  volume = {7966},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39211-5},
}