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

8. CSL 1994: Kazimierz, Poland

Leszek Pacholski, Jerzy Tiuryn (Eds.): Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Lecture Notes in Computer Science 933 Springer 1995, ISBN 3-540-60017-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Lambda Calculus

Proof Theory

Finite Model Theory

Logic Programming

Semantics

Category Theory

Other Logical Systems

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