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
The calculus of neo-Peircean relations
- 19 Jun 2026
- Logical Methods in Computer Science
Direct Access for Answers to Conjunctive Queries with Aggregation
- 21 Apr 2026
- Logical Methods in Computer Science
Tighter Bounds for Query Answering with Guarded TGDs
- 21 Apr 2026
- Logical Methods in Computer Science
One is all you need: Second-order Unification without First-order Variables
- 9 Apr 2026
- Logical Methods in Computer Science
The Complexity of Second-order HyperLTL
- 16 Mar 2026
- Logical Methods in Computer Science
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- 5 Mar 2026
- Logical Methods in Computer Science
The calculus of neo-Peircean relations
- 19 Jun 2026
- Logical Methods in Computer Science
Direct Access for Answers to Conjunctive Queries with Aggregation
- 21 Apr 2026
- Logical Methods in Computer Science
Tighter Bounds for Query Answering with Guarded TGDs
- 21 Apr 2026
- Logical Methods in Computer Science
One is all you need: Second-order Unification without First-order Variables
- 9 Apr 2026
- Logical Methods in Computer Science
The Complexity of Second-order HyperLTL
- 16 Mar 2026
- Logical Methods in Computer Science
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- 5 Mar 2026
- 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?
