Electronic Notes in Theoretical Computer Science, Volume 140

Volume 140, 18 November 2005

Proceedings of the Second Workshop on Computational Logic and Applications (CLA 2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics