The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

Bibliography on logic (especially with respect to concurrency)

[   About   |  Browse   |   Statistics   ]

Number of references:556Last update:August 14, 1998
Number of online publications:6Supported:Unknown
Most recent reference:October 1997

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

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(178), inproceedings(176), book(112), techreport(27), incollection(26), phdthesis(18), unpublished(13), misc(2), proceedings(2), inbook(1), mastersthesis(1)
Fields:
title(556), year(553), author(552), pages(300), volume(247), publisher(234), booktitle(205), journal(177), month(142), address(137), number(81), series(78), editor(56), note(45), institution(28), school(19), type(7), editors(5), comment(3), edition(3), organization(3), urldvi(2), chapter(1), key(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.