Logical Methods in Computer Science
| Discipline | Theoretical computer science |
|---|---|
| Language | English |
| Edited by | Stefan Milius |
| Publication details | |
| History | 2005–present |
| Publisher | Logical Methods in Computer Science e.V. |
| Frequency | Quarterly |
| Yes | |
| License | Creative Commons BY 4.0 (from around 2018), Creative Commons BY-ND (until around 2017) |
| 0.661 (2016) | |
| Standard abbreviations | |
| ISO 4 | Log. Methods Comput. Sci. |
| Indexing | |
| ISSN | 1860-5974 |
| OCLC no. | 897996717 |
| Links | |
Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg).