8th CSL 1994: Kazimierz, Poland

Lambda Calculus

Proof Theory

Finite Model Theory

Logic Programming

Semantics

Category Theory

Other Logical Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics