Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Logical Methods in Computer Science
Academic journal

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

We don't have any images related to Logical Methods in Computer Science yet.
We don't have any YouTube videos related to Logical Methods in Computer Science yet.
We don't have any PDF documents related to Logical Methods in Computer Science yet.
We don't have any Books related to Logical Methods in Computer Science yet.
We don't have any archived web articles related to Logical Methods in Computer Science yet.

History

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.2 The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.3

Abstracting and indexing

The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,4 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

  1. "Gmane -- Mail To News And Back Again". 2005-11-29. Archived from the original on 29 November 2005. Retrieved 2022-01-18. https://web.archive.org/web/20051129125228/http://article.gmane.org/gmane.science.mathematics.prooftheory/111 ↩

  2. "Logical Methods in Computer Science - Home". 2017-02-22. Archived from the original on 22 February 2017. Retrieved 2022-01-18. https://web.archive.org/web/20170222231314/http://lmcs.episciences.org/ ↩

  3. rzach (2005-10-25). "Logical Methods in Computer Science". Richard Zach. Retrieved 2022-01-18. https://richardzach.org/2005/10/logical-methods-in-computer-science/ ↩

  4. "Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10. http://mjl.clarivate.com/ ↩

  5. "Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10. http://mjl.clarivate.com/ ↩

  6. "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10. https://www.scopus.com/sourceid/19700175752 ↩

  7. "Serials Database". Zentralblatt MATH. Springer Science+Business Media. Archived from the original on 2017-11-07. Retrieved 2018-04-10. https://web.archive.org/web/20171107055348/https://www.zentralblatt-math.org/serials/ ↩

  8. "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017. /wiki/Journal_Citation_Reports ↩