dblp.uni-trier.de www.uni-trier.de

21. CSL 2007: Lausanne, Switzerland

Jacques Duparc, Thomas A. Henzinger (Eds.): Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Lecture Notes in Computer Science 4646 Springer 2007, ISBN 978-3-540-74914-1 BibTeX

Invited Lectures

Logic and Games


Games and Trees

Logic and Deduction

Lambda Calculus 1

Lambda Calculus 2

Finite Model Theory

Linear Logic

Proof Theory

Game Semantics

Copyright © Sat May 16 23:03:59 2009 by Michael Ley (ley@uni-trier.de)