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.
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.
...
Wikipedia