Home

... please wait ...
... preparing contents ...
be sure to have JavaScript enabled!

Managing Editors

Lars Birkedal
Editor-in-Chief

Stefan Milius
Brigitte Pientka
Fabio Zanasi
Executive Editors

ISSN: 1860-5974

Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. The journal is a member of the Free Journal Network. All journal content is licensed under a Creative Commons license.

Subscribe to the RSS Feed