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

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 or are always welcome.

Browsing the bibliography

Bibliographic Statistics

article(108), inproceedings(103), unpublished(41), techreport(35), phdthesis(24), book(9), misc(5), incollection(4)
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!