Annals of Pure and Applied Logic, Volume 151

Volume 151, Number 1, January 2008

Volume 151, Numbers 2-3, February 2008

First Games for Logic and Programming Languages Workshop
a service of Schloss Dagstuhl - Leibniz Center for Informatics