Computer science logic
Subtitle: 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
By: Jacques Duparc, Thomas A. Henzinger (eds.).
Contributors: Duparc, Jacques, 1962-; Henzinger, T. A.; European Association for Computer Science Logic.
Series: Lecture notes in computer science -- 4646; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 600
ISBN-13: 9783540749141
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Other titles: CSL 2007
Notes: Includes bibliographical references and index.

Also issued online.
Table of contents: title: Invited lectures; title: Logic and games; title: Expressiveness; title: Games and trees; title: Logic and deduction; title: Lambda calulus; title: Finite model theory; title: Linear logic; title: Proof theory; title: Game semantics.