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

13. LICS 1998: Indianapolis, Indiana, USA

Thirteenth Annual IEEE Symposium on Logic in Computer Science, 21-24 June, 1998, Indianapolis, Indiana, IEEE Computer Society, 1998

Invited Lecture

Finite Model Theory I

Verification

Logics

Tutorial

Concurrency I

Category Theory

Invited Lecture

Tutorial

Theorem Proving and Rewriting

Game Semantics

Type Theory

Invited Lecture

Calculus and Lambda-Calculus

Constraints and Complexity

Concurrency II

Finite Model Theory II

Copyright © Mon Nov 2 20:57:03 2009 by Michael Ley (ley@uni-trier.de)