The FLoC'02 omnibus bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:	439	Last update:	September 13, 2002
Number of online publications:	14	Supported:	yes
Most recent reference:	August 2002

Search the bibliography

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

• Original source:

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

Bibliographic Statistics

Types:

inproceedings(411), proceedings(28)

Fields:

booktitle(439), month(439), title(439), year(439), pages(425), author(411), editor(389), series(359), volume(359), issn(345), abstract(328), publisher(270), isbn(230), address(129), type(75), key(28), venue(28), conference(23), institution(15), note(4), url(3)

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.