The Collection of
Computer Science Bibliographies

Bibliography on Finite Model Theory

[   About   |  Browse   |   Statistics   ]

Number of references:552Last update:November 27, 2021
Number of online publications:0Supported:yes
Most recent reference:1998

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Argimiro Arratia-Quesada <arratia @ ldc . usb . ve> (email mangled to prevent spamming)
Universidad Simon Bolivar
Departamento de Matematicas
Apartado 89000, Caracas 1080-A
Author Comments:
If you want to submit more references, please email to We will be very grateful if you send us your file, with the references that you want to submit, already in BibTeX format.

Browsing the bibliography

Bibliographic Statistics

article(265), inproceedings(154), incollection(41), book(29), techreport(21), unpublished(21), phdthesis(13), misc(4), conference(3), inbook(1)
author(551), title(551), year(542), pages(427), volume(272), journal(266), booktitle(199), publisher(114), note(86), editor(69), number(41), series(27), institution(22), month(19), school(14), address(11), type(10), edition(2), chapter(1), city(1), isbn(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!