IfCoLog Journal of Logics and their Applications, Volume 1

Volume 1, Number 1, June 2014

Volume 1, Number 2, November 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics