Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, . Computer Science and General Issues)
Ésik, Zoltán [Editor]
ISBN 10: 3540454586 ISBN 13: 9783540454588
Published by Springer, 2006
Used
Paperback
From
GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 1 February 2007
This book is temporarily unavailable. We've listed similar copies below.
About this Item
Description:
Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a2080
Synopsis:
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Synopsis: This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006, held as the 15th Annual Conference of the EACSL in Szeged, Hungary in September 2006. The 37 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 132 submissions. All current aspects of logic in computer science are addressed, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification of security protocols, linear logic, higher-order logic, nonmonotonic reasoning, as well as logics and type systems for biology.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Computer Science Logic: 20th International ...
Publisher: Springer
Publication Date: 2006
Binding: Paperback
Condition: Very Good