Logical Methods in Computer Science, Volume 13

Volume 13, Number 1, 2017

Volume 13, Number 2, 2017

Coalgebraic methods

Volume 13, Number 3, 2017

Algebraic methods

Volume 13, Number 4, 2017

Automated deduction
a service of Schloss Dagstuhl - Leibniz Center for Informatics