The Collection of
Computer Science Bibliographies

Bibliography on linear logic and related subjects

[   About   |  Browse   |   Statistics   ]

Number of references:329Last update:February 6, 1998
Number of online publications:18Supported:no
Most recent reference:February 1998

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

Information on the Bibliography

Authors:
Anne S. Troelstra <anne @ fwi . uva . nl> (email mangled to prevent spamming)
H. A. J. M. Schellinx <harold @ fwi . uva . nl> (email mangled to prevent spamming)
Author Comments:
This bibliography was compiled by H. A. J. M. Schellinx and A. S. Troelstra; the file is regularly updated. Corrections and additions for the bibliography to anne@fwi.uva.nl or harold@fwi.uva.nl are always welcome.

Browsing the bibliography

Bibliographic Statistics

Types:
article(108), inproceedings(103), unpublished(41), techreport(35), phdthesis(24), book(9), misc(5), incollection(4)
Fields:
title(329), year(329), author(327), pages(203), note(155), journal(108), publisher(108), booktitle(107), volume(107), month(85), editor(77), number(72), institution(35), school(24), type(24), series(7), howpublished(5), address(2), remark(2), editors(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!