Finite Model Theory References.

This is an ongoing list of references in Finite Model Theory, written in BibTeX format, managed by Argimiro Arratia-Quesada.
If you have a reference that you think it must be included here, or you want to update some of the existing references, please click here.

To look up references

The data base is ordered alphabetically by author. You have the following options:
  • Click on the corresponding letter:

    A , B , C , D , E , F , G , H , I , J , K , L , M , N , O , P , Q , R , S , T , U , V , W , X , Y , Z .

  • Click here to make an specific search of all the references fitting a given pattern. (this feature is not yet available on this server. Please go to Wisconsin).
  • Click here to browse through the entire data base at your leisure.
  • Click here to view the entire data base from a postscript file (nice for printing hard copies!).

    • If you are going to download some of these BibTeX files, you should also include the file strings.bib, which contains all the journal names that appear abbreviated in the data base.

    This bibliography database has 3 mirror sites. Please select the one nearest to you. These are at:

  • Universidad Simón Bolívar (South America)
  • University of Wisconsin-Madison (North America)
  • Lehrgebiet Mathematische Grundlagen der Informatik (Europe)

    • Related Information

  • Check out the list of open problems in FMT at Aachen
  • Be part of the FMT club, by subscribing to its newsgroup email list: finite-model-theory-request@informatik.rwth-aachen.de.

    • To Submit or Update a Reference:

    If you want to submit more than one references, and would rather use regular email, please do so to arratia@ldc.usb.ve.
    We will be very grateful if you send us your file, with the many references that you want to submit, already in BibTeX format.
    Otherwise, fill in the form below.
    If you want to update a reference, use the same form below, but enter the code of the reference (e.g., ACV92, Fa74, etc.) that needs to be updated, in the box labelled "type of reference".

    Please enter your e-mail address:

    Please enter your real name:

    Please enter the (BibTeX) type of reference you want to submit. (These are: article, book, incollection (an entry for part of a book that has its own title), inproceedings (an entry for an article in conference proceedings), phdthesis, techreport, unpublished).
    For updates, enter the code of the reference.

    type of reference:

    Please fill in the relevant fields below, and leave the rest blank.

    author :
    title :
    journal :
    booktitle :
    editor :
    publisher :
    series :
    volume :
    school : (for phdthesis)
    institution : (for techreport)
    year :
    pages :
    note : (required for unpublished)



    Any questions? comments? Please email Argimiro Arratia-Quesada (arratia@ldc.usb.ve).

    Back to top.