"Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual ..."

Julian C. Bradfield (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics