Logical Methods in Computer Science explained

Logical Methods in Computer Science
Editor:	Stefan Milius
Discipline:	Theoretical computer science
Abbreviation:	Log. Methods Comput. Sci.
Publisher:	Logical Methods in Computer Science e.V.
Frequency:	Quarterly
History:	2005–present
Openaccess:	Yes
License:	Creative Commons BY 4.0 (from around 2018^[1]), Creative Commons BY-ND (until around 2017)
Impact:	0.661
Impact-Year:	2016
Website:	https://lmcs.episciences.org/
Link2:	https://lmcs.episciences.org/browse/regularissues
Link2-Name:	Online archive
Oclc:	897996717
Eissn:	1860-5974

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 Federationfor Computational Logic, and then by a dedicated non-profit. It moved to the . 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]

Notes and References

1. Web site: 2018-05-01 . Logical Methods in Computer Science - Copyright . 2022-01-18 . https://web.archive.org/web/20180501161241/https://lmcs.episciences.org/page/authors-copyright . 1 May 2018 . dead.
2. Web site: 2005-11-29 . Gmane -- Mail To News And Back Again . 2022-01-18 . https://web.archive.org/web/20051129125228/http://article.gmane.org/gmane.science.mathematics.prooftheory/111 . 29 November 2005 . dead.
3. Web site: 2017-02-22 . Logical Methods in Computer Science - Home . 2022-01-18 . https://web.archive.org/web/20170222231314/http://lmcs.episciences.org/ . 22 February 2017 . dead.
4. Web site: rzach. 2005-10-25. Logical Methods in Computer Science. 2022-01-18. Richard Zach. en-US.
5. Web site: Master Journal List . . Intellectual Property & Science . 2018-04-10.
6. Web site: Source details: Logical Methods in Computer Science . . Scopus preview . 2018-04-10.
7. Web site: Serials Database . . . 2018-04-10 . https://web.archive.org/web/20171107055348/https://www.zentralblatt-math.org/serials/ . 2017-11-07 . dead .
8. Book: 2017 . Logical Methods in Computer Science . . . Science . Web of Science.