Logical Methods in Computer Science

Logical Methods in Computer Science
DisciplineTheoretical computer science
LanguageEnglish
Edited byStefan Milius
Publication details
History2005–present
Publisher
Logical Methods in Computer Science e.V.
FrequencyQuarterly
Yes
LicenseCreative Commons BY 4.0 (from around 2018[1]), Creative Commons BY-ND (until around 2017)
0.661 (2016)
Standard abbreviations
ISO 4Log. Methods Comput. Sci.
Indexing
ISSN1860-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

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

  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. ^ a b "Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10.
  6. ^ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10.
  7. ^ "Serials Database". Zentralblatt MATH. Springer Science+Business Media. Archived from the original on 2017-11-07. Retrieved 2018-04-10.
  8. ^ "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.


Stub icon 1 Stub icon 2

This article about a computer science journal is a stub. You can help Wikipedia by adding missing information.

See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.