9780769531830
Logic in computer science; proceedings.
Symposium on Logic in Computer Science (23rd: 2007: Pittsburgh, PA)
Computer Society Press
2008
510 pages
$196.00
Paperback
QA76
The 43 papers collected in this proceedings were presented at the
23rd annual IEEE symposium on logic in computer science, held in June of
2008. Topics addressed include: cryptographically-sound protocol- model
abstractions, an authorization logic with explicit time, evidence-based
audit, structural logical relations, types for hereditary permutators, a
proof theoretic analysis of intruder theories, a logic for algebraic
effects, the axiomatizability of impossible futures, the computational
complexity of cut-reduction, and caterpillar duality for constraint
satisfaction problems. This volume contains an author index only.
([c]20082005 Book News, Inc., Portland, OR)
COPYRIGHT 2008 Book News, Inc. Reproduced with permission of the copyright holder. Further reproduction or distribution is prohibited without permission.
Copyright 2008 Gale, Cengage Learning. All rights
reserved. Gale Group is a Thomson Corporation Company.
NOTE: All illustrations and photos have been removed from this article.