The Collection of
Computer Science Bibliographies
Bibliography on logic (especially with respect to concurrency)
[ About | Browse | Statistics ]
| Number of references: | 669 | Last update: | July 21, 2006 |
|---|
| Number of online publications: | 30 | Supported: | Unknown |
|---|
| Most recent reference: | 2006 |
| |
|---|
- Author:
- Vaughan R. Pratt <pratt @ cs . stanford . edu> (email mangled to prevent spamming)
Computer Science Dept.
Stanford, CA 94305-2140
USA
- Types:
- article(230), inproceedings(201), book(130),
incollection(36), techreport(29), phdthesis(20),
unpublished(15), misc(3), proceedings(3), inbook(1),
mastersthesis(1)
- Fields:
- title(669), year(665), author(664), pages(371),
volume(303), publisher(271), booktitle(238),
journal(228), month(167), address(160), number(104),
series(85), editor(71), note(55), institution(30),
school(21), urlps(13), type(7), editors(5),
organization(5), comment(4), checked(3), dates(3),
edition(3), place(3), urldvi(2), chapter(1), city(1),
crossref(1), isbn(1), issue(1), key(1),
lib-congress(1), location(1)
- Distribution of publication dates:
-
