The Collection of
Computer Science Bibliographies
Bibliography on linear logic in computer science
[ About | Browse | Statistics ]
| Number of references: | 196 | Last update: | August 27, 1997 |
|---|
| Number of online publications: | 5 | Supported: | no |
|---|
| Most recent reference: | June 1995 |
| |
|---|
- Author:
- Andre Scedrov <andre @ saul . cis . upenn . edu> (email mangled to prevent spamming)
- Original source:
- Used to be available at
ftp://ftp.csl.sri.com/pub/linear/bibliographies/scedrov.bib.Z
but has disappeared.
- Other sites:
- ftp://achilles.doc.ic.ac.uk...
(Format: bibtex)
- Local copy in BibTeX format (13 KB, compressed with gzip)
- Types:
- article(79), inproceedings(53), misc(30), book(18),
incollection(6), phdthesis(5), techreport(5)
- Fields:
- author(196), title(196), year(195), pages(118),
journal(79), volume(78), booktitle(59), publisher(57),
month(40), howpublished(30), note(23), editor(16),
address(10), editors(10), number(10), key(6),
institution(5), school(5), series(5), page(1)
- Distribution of publication dates:
-
