The Collection of
Computer Science Bibliographies

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

Bibliography on linear logic and related subjects

[   About   |  Browse   |   Statistics   ]

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:

Copyright © 1995-2008 Alf-Christian Achilles, All rights reserved.
This service is brought to you by Alf-Christian Achilles and Paul Ortyl
Please direct comments to liinwwwa@ira.uka.de