The Collection of
Computer Science Bibliographies

Annotated Bibliography of the Logical Frameworks Basic Research Action

[   About   |  Browse   |   Statistics   ]

Number of references:305Last update:August 27, 1997
Number of online publications:4Supported:no
Most recent reference:June 1992

Browsing the bibliography

Bibliographic Statistics

inproceedings(97), article(41), techreport(34), unpublished(30), phdthesis(27), misc(24), book(14), incollection(14), inbook(12), manual(7), mastersthesis(4), proceedings(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!