• DocumentCode
    3112806
  • Title

    Reflections on Finite Model Theory

  • Author

    Kolaitis, Phokion G.

  • Author_Institution
    IBM Almaden Res. Center, San Jose
  • fYear
    2007
  • fDate
    10-14 July 2007
  • Firstpage
    257
  • Lastpage
    269
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on
  • Conference_Location
    Wroclaw
  • ISSN
    1043-6871
  • Print_ISBN
    0-7695-2908-9
  • Type

    conf

  • DOI
    10.1109/LICS.2007.39
  • Filename
    4276570
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3112806