FO Queries Strongly Distributing over Components in Arbitrary Cardinality

Francesco Di Cosmo. FO Queries Strongly Distributing over Components in Arbitrary Cardinality. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 260-268, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.