The Collection of
Computer Science Bibliographies

Bibliography on logic (especially with respect to concurrency)

[   About   |  Browse   |   Statistics   ]

Number of references:709Last update:September 27, 2009
Number of online publications:0Supported:Unknown
Most recent reference:January 2009

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

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(246), inproceedings(206), book(145), incollection(39), techreport(29), phdthesis(20), unpublished(16), misc(3), proceedings(3), inbook(1), mastersthesis(1)
Fields:
title(709), year(705), author(704), pages(389), volume(318), publisher(291), booktitle(248), journal(242), address(172), month(171), number(109), series(88), editor(73), note(59), 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), vol(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!