dblp.uni-trier.de www.uni-trier.de

13. CSL 1999: Madrid, Spain

Jörg Flum, Mario Rodríguez-Artalejo (Eds.): Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings. Lecture Notes in Computer Science 1683 Springer 1999, ISBN 3-540-66536-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Descriptive Complexity, I

Verification

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

Tutorials

Copyright © Mon Nov 2 20:27:09 2009 by Michael Ley (ley@uni-trier.de)