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[1] ), Creative Commons BY-ND (until around 2017) |
0.661 (2016) | |
Standard abbreviations ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt Paid subscription required) | |
ISO 4 | Log. Methods Comput. Sci. |
Indexing CODEN (alt) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus · W&L | |
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.[2] The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg).
History
[edit ]The journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Épisciences [fr]. 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
[edit ]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
[edit ]- ^ "Logical Methods in Computer Science - Copyright". 2018年05月01日. Archived from the original on 1 May 2018. Retrieved 2022年01月18日.
- ^ "Gmane -- Mail To News And Back Again". 2005年11月29日. Archived from the original on 29 November 2005. Retrieved 2022年01月18日.
- ^ "Logical Methods in Computer Science - Home". 2017年02月22日. Archived from the original on 22 February 2017. Retrieved 2022年01月18日.
- ^ rzach (2005年10月25日). "Logical Methods in Computer Science". Richard Zach. Retrieved 2022年01月18日.
- ^ a b "Master Journal List". Intellectual Property & Science. Clarivate Analytics . Retrieved 2018年04月10日.
- ^ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier . Retrieved 2018年04月10日.
- ^ "Serials Database". Zentralblatt MATH . Springer Science+Business Media. Archived from the original on 2017年11月07日. Retrieved 2018年04月10日.
- ^ "Logical Methods in Computer Science". 2016 Journal Citation Reports . Web of Science (Science ed.). Clarivate Analytics. 2017.
External links
[edit ]
This article about a computer science journal is a stub. You can help Wikipedia by expanding it.
See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page.