Limit search to available items
Book Cover
E-book
Author CSL 2007 (2007 : Lausanne, Switzerland)

Title Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc, Thomas A. Henzinger (eds.)
Published Berlin ; New York : Springer, ©2007

Copies

Description 1 online resource (xiv, 600 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4646
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 4646. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Invited lectures -- Logic and games -- Expressiveness -- Games and trees -- Logic and deduction -- Lambda calulus -- Finite model theory -- Linear logic -- Proof theory -- Game semantics
Summary 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, in September 2007. The 36 revised full papers presented together with the abstracts of 6 invited lectures were carefully reviewed and selected from 116 submissions. The papers 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
Bibliography Includes bibliographical references and index
Notes Print version record
In Springer e-books
Subject Computer logic -- Congresses
Computer logic.
Informatique.
Computer logic
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Duparc, Jacques, 1962-
Henzinger, T. A. (Thomas A.)
European Association for Computer Science Logic.
ISBN 9783540749158
3540749152
3540749144
9783540749141
Other Titles CSL 2007