Logical Methods in Computer Science
Open Access
Journal formatting to fit the target journal guidelines
Experts ensure all elements of your paper match journal formatting guidelines to improve publication success rate!
Aims and Scope
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). Less
Key Metrics
Journal Specifications
Indexed in the following public directories
Web of Science 
Scopus 
DOAJ 
Inspec 
SJR
- PublisherLOGICAL METHODS COMPUTER SCIENCE E V
- LanguageEnglish
- FrequencyIrregular
- Publication Time33
- Editorial Review ProcessAnonymous peer review
- LanguageEnglish
- Society/Institute/SponsorLogical Methods in Computer Science e.V.
- FrequencyIrregular
- Publication Start Year2005
- Website URL
- Publication Time33
- Editorial Team
- Review ProcessAnonymous peer review
- Review Url
- Author instructions
- Copyright Details
- Deposit PolicySherpa/Romeo
- License typeCC BY
- OA statement
Topics Covered
Year-wise Publication
- 5Y
- 10Y
FAQs
Since when has Logical Methods in Computer Science been publishing? 
The Logical Methods in Computer Science has been publishing since 2005 till date.
How frequently is the Logical Methods in Computer Science published?
Logical Methods in Computer Science is published Irregular.
Who is the publisher of Logical Methods in Computer Science?
The publisher of Logical Methods in Computer Science is LOGICAL METHODS COMPUTER SCIENCE E V.
Where can I find a journal's aims and scope of Logical Methods in Computer Science?
For the Logical Methods in Computer Science's Aims and Scope, please refer to the section above on the page.
How can I view the journal metrics of Logical Methods in Computer Science on editage?
For the Logical Methods in Computer Science metrics, please refer to the section above on the page.
What is the eISSN and pISSN number of Logical Methods in Computer Science?
The eISSN number is 1860-5974 and pISSN number is 1860-5974 for Logical Methods in Computer Science.
What is the focus of this journal?
The journal covers a wide range of topics inlcuding Space closure, Calculus, Block structure, Probabilistic process, Model checking, Boolean algebra, Proof theory, Intuitionistic logic, Natural deduction, Hoare logic, Type theory.
Why is it important to find the right journal for my research?
Choosing the right journal ensures that your research reaches the most relevant audience, thereby maximizing its scholarly impact and contribution to the field.
Can the choice of journal affect my academic career?
Absolutely. Publishing in reputable journals can enhance your academic profile, making you more competitive for grants, tenure, and other professional opportunities.
Is it advisable to target high-impact journals only?
While high-impact journals offer greater visibility, they are often highly competitive. It's essential to balance the journal's impact factor with the likelihood of your work being accepted.