The Collection of
Computer Science Bibliographies
Annotated Bibliography of the Logical Frameworks Basic Research Action
[ About | Browse | Statistics ]
| Number of references: | 305 | Last update: | August 27, 1997 |
|---|
| Number of online publications: | 4 | Supported: | no |
|---|
| Most recent reference: | June 1992 |
| |
|---|
- 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)
- 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:
-
