15. CSL 2001: Paris, France

Invited Papers

Contributed Papers

Descriptive Complexity

Semantics

Higher-Order Programs

Modal Logics

Verification

Automata

Lambda-Calculus

Induction

Equational Calculus

Constructive Theory of Types

maintained by Schloss Dagstuhl LZI at University of Trier