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]

Abstract

Abstract is missing.