External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Logics for Unordered Trees with Data Constraints on Siblings

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints on Siblings. In Adrian Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 175-187, Springer, 2015. [doi]

Authors

Adrien Boiret

This author has not been identified. Look up 'Adrien Boiret' in Google

Vincent Hugot

This author has not been identified. Look up 'Vincent Hugot' in Google

Joachim Niehren

This author has not been identified. Look up 'Joachim Niehren' in Google

Ralf Treinen

This author has not been identified. Look up 'Ralf Treinen' in Google
runs on