ENGLISH

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

By Jacques Duparc , Thomas A. Henzinger

Book information

Publisher
Springer
Year
2007
ISBN
9783540749141, 3540749144
LCC
QA76.9.L63 C78 2007
Open Library ID
OL16153217M
Language
english
Format
PDF
Filesize
9 MB (9948106 bytes)
Edition
1
Pages
610\610
Library
mexmat
Time added
2009-07-20 03:45:11

Description

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.

Similar books