Logical Methods in Computer Science

Venue Information

  • issn: 1860-5974
  • access: some or all publications openly available

LMCS Home Page

LMCS Special Issues until 2011

a service of Schloss Dagstuhl - Leibniz Center for Informatics