Invited Paper: Reflections on Finite Model Theory (at LICS 2007)

Authors: Phokion G. Kolaitis

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.

BibTeX

  @InProceedings{Kolaitis-ReflectionsonFinite,
    author = 	 {Phokion G. Kolaitis},
    title = 	 {Reflections on Finite Model Theory},
    booktitle =  {Proceedings of the Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007)},
    year =	 {2007},
    month =	 {July}, 
    pages =      {257--269},
    location =   {Wroclaw, Poland}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }