Logical Methods in Computer Science

LMCS Home Page

LMCS Home Page (until 2016)

LMCS Special Issues

maintained by Schloss Dagstuhl LZI at University of Trier