Computer Science Logic | 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Jacques Duparc (u. a.)
ISBN 10: 3540749144 ISBN 13: 9783540749141
Published by Springer, 2007
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 5 August 2024
This specific item is no longer available.
About this Item
Description:
Computer Science Logic | 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings | Jacques Duparc (u. a.) | Taschenbuch | xiv | Englisch | 2007 | Springer | EAN 9783540749141 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 101947663
Synopsis:
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Computer Science Logic | 21 International ...
Publisher: Springer
Publication Date: 2007
Binding: Taschenbuch
Condition: Neu