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

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(246), inproceedings(206), book(145), incollection(39), techreport(29), phdthesis(20), unpublished(16), misc(3), proceedings(3), inbook(1), mastersthesis(1)
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!