"Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual ..."

Zoltán Ésik (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics