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

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

Browsing the bibliography

Bibliographic Statistics

article(230), inproceedings(201), book(130), incollection(36), techreport(29), phdthesis(20), unpublished(15), misc(3), proceedings(3), inbook(1), mastersthesis(1)
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!