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

22. LICS 2007: Wroclaw, Poland

22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society 2007 BibTeX

Type Theory

Computational Proof Theory


Timed and Stochastic Systems



Proof Complexity

Finite Model Theory

Concurrency and Process Calculi

Semantics of Programming Languages

Game Semantics

Linear Logic

Topology and Computable Mathematics

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