Computer Science Logic | 
 enlarge | Creator: Julian Bradfield
Publisher: Springer
Category: Book
List Price: $102.00
Buy New: $100.98
You Save: $1.02 (1%)
New (13) Used (6) from $100.98
Media: Paperback
Edition: 1
Pages: 625
Number Of Items: 1
Shipping Weight (lbs): 2
Dimensions (in): 9.3 x 6.1 x 1
ISBN: 3540442405
Dewey Decimal Number: 005.1015113
EAN: 9783540442400
Publication Date: October 28, 2002
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Shipping: International shipping available
Condition: New American book. Printed on demand and shipped within the US in 4-7 days (expedited) or about 10-14 days (standard). Standard can occasionally be slower so we advise using expedited if quicker delivery is important!
| |
| Editorial Reviews:
Product Description
This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002.
The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs.
|
|
|
