13th CSL 1999: Madrid, Spain

Refine list

showing all ?? records

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


a service of  Schloss Dagstuhl - Leibniz Center for Informatics