Logical Methods in Computer Science

  • Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived. Its open access makes its content available through a Creative Commons-Attribution No Derivatives license.

+ About
  • Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived. Its open access makes its content available through a Creative Commons-Attribution No Derivatives license.

  • Lars Birkedal

+ Editor-in-Chief
  • Lars Birkedal

  • Print ISSN: 1860-5974

    Electronic ISSN: 1860-5974

+ ISSN
  • Print ISSN: 1860-5974

    Electronic ISSN: 1860-5974

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 0.569

+ Impact Factor
  • Impact Factor 2015: 0.569


  • Computer Sciences, Mathematics

+ Subject Area and Category
  • Computer Sciences, Mathematics

  • Publisher: Association for Computing Machinery New York

    Country: Germany

+ Publisher & Country
  • Publisher: Association for Computing Machinery New York

    Country: Germany