Logical Methods in Computer Science
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 Lars Birkedal (Aarhus University).
| Discipline | Theoretical computer science |
|---|---|
| Language | English |
| Edited by | Lars Birkedal |
| Publication details | |
| History | 2005–present |
| Publisher | Logical Methods in Computer Science |
| Frequency | Quarterly |
| Yes | |
| License | Creative Commons |
| 0.661 (2016) | |
| Standard abbreviations | |
| ISO 4 | Log. Methods Comput. Sci. |
| Indexing | |
| ISSN | 1860-5974 |
| OCLC no. | 897996717 |
| Links | |
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
- "Master Journal List". Intellectual Property & Science. Clarivate Analytics. Retrieved 2018-04-10.
- "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. Retrieved 2018-04-10.
- "Serials Database". Zentralblatt MATH. Springer Science+Business Media. Archived from the original on 2017-11-07. Retrieved 2018-04-10.
- "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.