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.
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below.
Print ISSN:  1860-5974
Electronic ISSN:  1860-5974
Q2:  Theoretical Computer Science
Publisher:  Association for Computing Machinery New York