Logical Methods in Computer Science
| Logical Methods in Computer Science | |
|---|---|
Abbreviated title (ISO 4) | 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.
The journal is available under ISSN 1860-5974.