First-order Queries on Finite Structures over the Reals

Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht

Browse the full LICS paper archive.