Querying the Guarded Fragment with Transitivity

Georg Gottlob, Andreas Pieris, Lidia Tendera. Querying the Guarded Fragment with Transitivity. 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 287-298, Springer, 2013. [doi]

Authors

Georg Gottlob

This author has not been identified. Look up 'Georg Gottlob' in Google

Andreas Pieris

This author has not been identified. Look up 'Andreas Pieris' in Google

Lidia Tendera

This author has not been identified. Look up 'Lidia Tendera' in Google