8th CSL 1994: Kazimierz, Poland

Refine list

showing all ?? records

Lambda Calculus

Proof Theory

Finite Model Theory

Logic Programming

Semantics

Category Theory

Other Logical Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics