Querying Visible and Invisible Information

Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis. Querying Visible and Invisible Information. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 297-306, ACM, 2016. [doi]

Authors

Michael Benedikt

This author has not been identified. Look up 'Michael Benedikt' in Google

Pierre Bourhis

This author has not been identified. Look up 'Pierre Bourhis' in Google

Balder ten Cate

This author has not been identified. Look up 'Balder ten Cate' in Google

Gabriele Puppis

This author has not been identified. Look up 'Gabriele Puppis' in Google