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
maintained by Schloss Dagstuhl LZI at University of Trier