"Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual ..."

Matthias Baaz, Johann A. Makowsky (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics