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:0Supported: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

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.

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!