The Collection of
Computer Science Bibliographies

Bibliography on Finite Model Theory

[   About   |  Browse   |   Statistics   ]

Number of references:552Last update:May 28, 1998
Number of online publications:2Supported:yes
Most recent reference:1998

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!