Journal of Applied Logic, Volume 17

Volume 17, September 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics