Logical Methods in Computer Science

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

Logical Methods in Computer Science
DisciplineTheoretical computer science
LanguageEnglish
Edited byStefan Milius
Publication details
History2005–present
Publisher
Logical Methods in Computer Science e.V.
FrequencyQuarterly
Yes
LicenseCreative Commons BY 4.0 (from around 2018), Creative Commons BY-ND (until around 2017)
0.661 (2016)
Standard abbreviations
ISO 4Log. Methods Comput. Sci.
Indexing
ISSN1860-5974
OCLC no.897996717
Links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.