Logical Methods in Computer Science

Source: Wikipedia, the free encyclopedia.
Logical Methods in Computer Science
OCLC no.
897996717
Links

Logical Methods in Computer Science (LMCS) is a

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 É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

The journal is abstracted and indexed in

Zentralblatt MATH.[7] According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.[8]

References

  1. ^ "Logical Methods in Computer Science - Copyright". 2018-05-01. Archived from the original on 1 May 2018. Retrieved 2022-01-18.
  2. ^ "Gmane -- Mail To News And Back Again". 2005-11-29. Archived from the original on 29 November 2005. Retrieved 2022-01-18.
  3. ^ "Logical Methods in Computer Science - Home". 2017-02-22. Archived from the original on 22 February 2017. Retrieved 2022-01-18.
  4. ^ rzach (2005-10-25). "Logical Methods in Computer Science". Richard Zach. Retrieved 2022-01-18.
  5. ^
    Clarivate Analytics
    . Retrieved 2018-04-10.
  6. ^ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10.
  7. Zentralblatt MATH. Springer Science+Business Media. Archived from the original
    on 2017-11-07. Retrieved 2018-04-10.
  8. Clarivate Analytics
    . 2017.

External links