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

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!