Logical Methods in Computer Science

LMCS Home Page

LMCS Special Issues