Jump to content

Logical Methods in Computer Science

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Fadesga (talk | contribs) at 01:47, 22 April 2014 (External links). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Logical Methods in Computer Science
DisciplineTheoretical computer science
LanguageEnglish
Edited byDana Scott
Publication details
History2005–present
FrequencyQuarterly
Standard abbreviations
ISO 4LMCS
Indexing
ISSN1860-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.

References