Mathematics in Computer Science

MiCS @ SpringerLink

MiCS @ Google scholar

maintained by Schloss Dagstuhl LZI at University of Trier