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:0Supported:no
Most recent reference:June 1992

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).

Browsing the bibliography

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

Valid XHTML 1.1!  Valid CSS!