Logical Methods in Computer Science

Academic journal

Logical Methods in Computer ScienceDiscipline| Theoretical computer science

|

Language| English
Edited by| Stefan Milius
Publication details
History| 2005–present
Publisher|

Logical Methods in Computer Science e.V.

Frequency| Quarterly

Open access

| Yes
License| Creative Commons BY 4.0 (from around 2018[1]), Creative Commons BY-ND (until around 2017)

Impact factor

| 0.661 (2016)
Standard abbreviations
ISO 4 (alt) * Bluebook (alt)
NLM (alt) * MathSciNet (alt )
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

* Journal homepage
* Online archive

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]

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.

## External links

[edit]

* Official website

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.

|

* v
* t
* e

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template