We are migrating to a new system. Submission in this old system is closed. Please go to lmcs.episciences.org.
Read papers at lmcs.episciences.org.
You may still log on here to finish handling of papers, as usual.
Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. Impact factor: 0.443. All journal content is licensed under a Creative Commons license.
Benjamin C. Pierce
Gordon D. Plotkin
Moshe Y. Vardi