"Computer Science Logic, 25th International Workshop / 20th Annual ..."

Marc Bezem (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics