Logical Methods in Computer Science

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Logical Methods in Computer Science  
Abbreviated title (ISO 4)
Discipline Theoretical computer science
Language English
Edited by Lars Birkedal
Publication details
Publication history
Frequency Quarterly
ISSN 1860-5974

Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first volume appeared in 2005.[1]

LMCS is significant in two principal respects: it has a distinguished editorial board (with Dana Scott as Editor-in-Chief until 2014), and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license.[citation needed]

The journal is available under ISSN 1860-5974.


External links[edit]