Bibliography on linear logic and related subjects

[   About   |  Browse   |   Statistics   ]

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

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

• Original source:

  Used to be available at
  ftp://boole.logique.jussieu.fr/pub/scratch/LIN/linbib.bib
  but has disappeared.

  Other sites:

  ftp://boole.logique.jussieu.fr... (Format: postscript)
  ftp://ftp.csl.sri.com... (Format: bibtex, compressed)
  ftp://achilles.doc.ic.ac.uk... (Format: bibtex)
  

• Local copy in BibTeX format (23 KB, compressed with gzip)

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:

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.