Logical Methods in Computer Science
Template:Short descriptionTemplate:Infobox journal/Bluebook checkTemplate:Infobox journal/ISO 4 checkTemplate:Infobox journal/MathSciNet checkTemplate:Infobox journal/NLM checkTemplate:Infobox journal/Former checkPage Module:Infobox/styles.css has no content.
| Discipline | Theoretical computer science |
|---|---|
| Language | English |
| Edited by | Stefan Milius |
| Publication details | |
| History | 2005–present |
| Publisher | Logical Methods in Computer Science e.V. |
| Frequency | Template:Infobox journal/frequency |
| Template:Infobox journal/openaccess | |
| License | Creative Commons BY 4.0 (from around 2018[1]), Creative Commons BY-ND (until around 2017) |
| 0.661 (2016) | |
| Standard abbreviations Template:Infobox journal/Abbreviation search | |
| ISO 4 | Log. Methods Comput. Sci. |
| IndexingTemplate:Infobox journal/Indexing search | |
| ISSN | 1860-5974 |
| OCLC no. | 897996717 |
| Links | |
Script error: No such module "Check for conflicting parameters".
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.[2] The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg).
History
The journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Episciences platform in 2017.[3] The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.[4]
Abstracting and indexing
The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,[5] Mathematical Reviews, Science Citation Index Expanded,[5] Scopus,[6] and Zentralblatt MATH.[7] According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.[8]
References
Page Template:Reflist/styles.css has no content.
- ^ Page Module:Citation/CS1/styles.css has no content."Logical Methods in Computer Science - Copyright". 2018-05-01. Archived from the original on 1 May 2018. Retrieved 2022-01-18.
- ^ Page Module:Citation/CS1/styles.css has no content."Gmane -- Mail To News And Back Again". 2005-11-29. Archived from the original on 29 November 2005. Retrieved 2022-01-18.
- ^ Page Module:Citation/CS1/styles.css has no content."Logical Methods in Computer Science - Home". 2017-02-22. Archived from the original on 22 February 2017. Retrieved 2022-01-18.
- ^ Page Module:Citation/CS1/styles.css has no content.rzach (2005-10-25). "Logical Methods in Computer Science". Richard Zach. Retrieved 2022-01-18.
- ^ a b Page Module:Citation/CS1/styles.css has no content."Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10.
- ^ Page Module:Citation/CS1/styles.css has no content."Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10.
- ^ Page Module:Citation/CS1/styles.css has no content."Serials Database". Zentralblatt MATH. Springer Science+Business Media. Archived from the original on 2017-11-07. Retrieved 2018-04-10.
- ^ Page Module:Citation/CS1/styles.css has no content."Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.
