13. CSL 1999: Madrid, Spain

Invited Papers

Descriptive Complexity, I


Temporal Logic

Lambda Calculus, Linear Logic

Logic Programming, Modal Logic, Description Logic

Descriptive Complexity, II

Logic and Complexity

Lambda Calculus, Type Theory

Linear Logic, Mu Calculus, Concurrency

Specification, Data Refinement


maintained by Schloss Dagstuhl LZI at University of Trier