The finite model theory toolbox of a database theoretician

Leonid Libkin. The finite model theory toolbox of a database theoretician. In Jan Paredaens, Jianwen Su, editors, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA. pages 65-76, ACM, 2009. [doi]

Abstract

Abstract is missing.