Logical Methods in Computer Science

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.

The journal is available under ISSN 1860-5974.

References


This article is issued from Wikipedia - version of the 9/27/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.