The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

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

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Author:
Argimiro Arratia-Quesada <arratia @ ldc . usb . ve> (email mangled to prevent spamming)
Universidad Simon Bolivar
Departamento de Matematicas
Apartado 89000, Caracas 1080-A
Venezuela
Author Comments:
If you want to submit more references, please email to quesada@math.wisc.edu. 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

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

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.