The Collection of
Computer Science Bibliographies

The FLoC'02 omnibus bibliography

Number of references:	490	Last update:	August 10, 2006
Number of online publications:	0	Supported:	yes
Most recent reference:	August 2002

Author:: Henning Makholm <henning @ makholm . net> (email mangled to prevent spamming)
University of Copenhagen
Copyright:: Please copy and use freely
Abstract:: Contains papers presented at the 2002 Federated Logic Conference held in Copenhagen, Denmark in July 2002.
Keywords:: logic, theorem proving, verification, deduction, rewriting, reasoning
Author Comments:: Based on bibliographic data received from submeeting organizers. At the time of submission, I (the FLoC webmaster) am still awaiting page-number data from some submeetings, so the bibliography is expected to grow slightly in the coming months. It probably won't change after, say, mid-2003, though.

Original source:

http://floc02.diku.dk... (Format: bibtex, compressed with gzip)

Types:: inproceedings(462), proceedings(28)
Fields:: booktitle(490), month(490), title(490), year(490), pages(476), author(462), editor(440), series(410), volume(410), issn(396), abstract(379), publisher(321), isbn(281), address(129), type(80), key(28), venue(28), conference(23), institution(15), note(4), url(3)
Distribution of publication dates: