Mathematics in Computer Science

MiCS @ SpringerLink

MiCS @ Google scholar

maintained by Schloss Dagstuhl LZI, founded at University of Trier