Logical Methods in Computer Science


Logical Methods in Computer Science 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.

Abstracting and indexing

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