The Collection of
Computer Science Bibliographies

Bibliography on logic (especially with respect to concurrency)

[   About   |  Browse   |   Statistics   ]

Number of references:669Last update:July 21, 2006
Number of online publications:30Supported:Unknown
Most recent reference:2006

Information on the Bibliography

Author:
Vaughan R. Pratt <pratt @ cs . stanford . edu> (email mangled to prevent spamming)
Computer Science Dept.
Stanford, CA 94305-2140
USA

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!