Jump to content

Logical Methods in Computer Science

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Schneidebart (talk | contribs) at 09:55, 22 September 2020 (Fixed a typo). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Logical Methods in Computer Science
DisciplineTheoretical computer science
LanguageEnglish
Edited byStefan Milius
Publication details
History2005–present
Publisher
Logical Methods in Computer Science
FrequencyQuarterly
Yes
LicenseCreative Commons
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 was established in 2005. The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg).

Abstracting and indexing

The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,[1] Mathematical Reviews, Science Citation Index Expanded,[1] Scopus,[2] and Zentralblatt MATH.[3] According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.[4]

References

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

External links