Title :
Reflections on Finite Model Theory
Author :
Kolaitis, Phokion G.
Author_Institution :
IBM Almaden Res. Center, San Jose
Abstract :
Advances in finite model theory have appeared in LICS proceedings since the very beginning of the LICS Symposium. The goal of this paper is to reflect on finite model theory by highlighting some of its successes, examining obstacles that were encountered, and discussing some open problems that have stubbornly resisted solution.
Keywords :
formal logic; computational complexity; computer science; database theory; finite model theory; Books; Computational complexity; Computer science; Conference proceedings; Databases; Logic; Mathematical model; Reflection; Vocabulary;
Conference_Titel :
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on
Conference_Location :
Wroclaw
Print_ISBN :
0-7695-2908-9
DOI :
10.1109/LICS.2007.39
