The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

Annotated Bibliography of the Logical Frameworks Basic Research Action

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

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

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.