Logical Methods in Computer Science

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Logical Methods in Computer Science  
Abbreviated title (ISO) LMCS
Discipline Theoretical computer science
Language English
Edited by Dana Scott
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, 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.

[edit] References

[edit] External links

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox
Print/export
Languages