Annotated Bibliography of the Logical Frameworks Basic Research Action

[   About   |  Browse   |   Statistics   ]

Number of references:	305	Last update:	June 3, 1992
Number of online publications:	0	Supported:	no
Most recent reference:	June 1992

Browsing the bibliography

• Original source:

  Used to be available at
  ftp://ftp.cs.cornell.edu/pub/murthy/lf-bib.tar.Z
  but has disappeared.

• Local copy in BibTeX format (45 KB, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(97), article(41), techreport(34), unpublished(30), phdthesis(27), misc(24), book(14), incollection(14), inbook(12), manual(7), mastersthesis(4), proceedings(1)

Fields:

title(305), author(293), year(280), classification(205), annote(153), booktitle(113), pages(90), publisher(89), editor(65), note(56), month(55), volume(53), journal(41), institution(37), number(31), school(30), address(23), series(22), organization(20), key(12), howpublished(7), type(5), edition(3), adress(2), annnote(2), date(2), classificaiton(1), comment(1), crossrefonly(1)

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.