Mathematics in Computer Science, Volume 9

Volume 9, Number 1, March 2015

Special Focus on Formal Proofs for Mathematics and Computer Science (1-62)

Volume 9, Number 2, June 2015

Applications of Mathematics in Computer Engineering

Volume 9, Number 3, October 2015

Special Focus on Constraints and Combinations Regular Papers

Volume 9, Number 4, December 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics