Logical Methods in Computer Science

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

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.

References[edit]

External links[edit]