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

maintained by Schloss Dagstuhl LZI at University of Trier