Logical Methods in Computer Science : Impact Factor & More
eISSN: 1860-5974pISSN: 1860-5974
Open AccessShare this on:
Aims and Scope of 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 Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg). Less
Key Metrics
CiteScore 
2
Impact Factor
< 5
SJR
Q4Computer Science (all)
SNIP
1.02
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Logical Methods in Computer Science
Logical Methods in Computer Science Journal Specifications
Indexed in the following public directories
Web of Science 
Scopus 
DOAJ 
Inspec 
SJR
| Overview | |
| Publisher | LOGICAL METHODS COMPUTER SCIENCE E V |
| Language | English |
| Frequency | Irregular |
| Publication Time | 33 |
| Editorial Review Process | Anonymous peer review |
| General Details | |
| Language | English |
| Society/Institute/Sponsor | Logical Methods in Computer Science e.V. |
| Frequency | Irregular |
| Publication Start Year | 2005 |
| Website URL | Visit website |
| Publication Details | |
| Publication Time | 33 |
| Editorial Review Detail | |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| Deposit Policy | Sherpa/Romeo |
| License type | CC BY |
| OA statement | Visit website |
View less
Planning to publish in Logical Methods in Computer Science ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Logical Methods in Computer Science
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- 28 Oct 2025
- Logical Methods in Computer Science
A Hierarchy of Nondeterminism
- 28 Oct 2025
- Logical Methods in Computer Science
Positive Hennessy-Milner Logic for Branching Bisimulation
- 28 Oct 2025
- Logical Methods in Computer Science
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
- 9 Oct 2025
- Logical Methods in Computer Science
What Monads Can and Cannot Do with a Few Extra Pages
- 8 Oct 2025
- Logical Methods in Computer Science
Extended Stone Duality via Monoidal Adjunctions
- 8 Oct 2025
- Logical Methods in Computer Science
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- 28 Oct 2025
- Logical Methods in Computer Science
A Hierarchy of Nondeterminism
- 28 Oct 2025
- Logical Methods in Computer Science
Positive Hennessy-Milner Logic for Branching Bisimulation
- 28 Oct 2025
- Logical Methods in Computer Science
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
- 9 Oct 2025
- Logical Methods in Computer Science
What Monads Can and Cannot Do with a Few Extra Pages
- 8 Oct 2025
- Logical Methods in Computer Science
Extended Stone Duality via Monoidal Adjunctions
- 8 Oct 2025
- Logical Methods in Computer Science
FAQs on Logical Methods in Computer Science
How long has Logical Methods in Computer Science been actively publishing? 
What is the publishing frequency of Logical Methods in Computer Science?
How many articles did Logical Methods in Computer Science publish last year?
What is the eISSN & pISSN for Logical Methods in Computer Science?
What is Citescore for Logical Methods in Computer Science?
What is SNIP score for Logical Methods in Computer Science?
What is the SJR for Logical Methods in Computer Science?
Who is the publisher of Logical Methods in Computer Science?
