The Collection of
Computer Science Bibliographies

The FLoC'02 omnibus bibliography

[   About   |  Browse   |   Statistics   ]

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

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

Henning Makholm <henning @ makholm . net> (email mangled to prevent spamming)
University of Copenhagen
Please copy and use freely
Contains papers presented at the 2002 Federated Logic Conference held in Copenhagen, Denmark in July 2002.
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.

Browsing the bibliography

Bibliographic Statistics

inproceedings(462), proceedings(28)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!