Explore All Access
Check if your research matches the topics covered in Logical Methods in Computer Science?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Logical Methods in Computer Science : Impact Factor & More
eISSN: 1860-5974pISSN: 1860-5974
Open AccessShare this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
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
Logical Methods in Computer Science Key Metrics
CiteScore 
2
Impact Factor
< 5
SJR
Q4Computer Science (all)
SNIP
1.02
Topics Covered on Logical Methods in Computer Science
Space closure
Calculus
Block structure
Probabilistic process
Model checking
Boolean algebra
Proof theory
Intuitionistic logic
Natural deduction
Hoare logic
Type theory
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
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
- 8 Nov 2024
- Logical Methods in Computer Science
Sum and Tensor of Quantitative Effects
- 29 Oct 2024
- Logical Methods in Computer Science
String diagrams for Strictification and Coherence
- 29 Oct 2024
- Logical Methods in Computer Science
A cone-theoretic barycenter existence theorem
- 10 Oct 2024
- Logical Methods in Computer Science
Formalising the Double-Pushout Approach to Graph Transformation
- 8 Oct 2024
- Logical Methods in Computer Science
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
- 7 Oct 2024
- Logical Methods in Computer Science
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
- 8 Nov 2024
- Logical Methods in Computer Science
Sum and Tensor of Quantitative Effects
- 29 Oct 2024
- Logical Methods in Computer Science
String diagrams for Strictification and Coherence
- 29 Oct 2024
- Logical Methods in Computer Science
A cone-theoretic barycenter existence theorem
- 10 Oct 2024
- Logical Methods in Computer Science
Formalising the Double-Pushout Approach to Graph Transformation
- 8 Oct 2024
- Logical Methods in Computer Science
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
- 7 Oct 2024
- Logical Methods in Computer Science
Compare Similar Journals with Logical Methods in Computer Science
Select Journals to Compare with Logical Methods in Computer Science
Total journals - 8
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Studia Logica
Publisher: SPRINGER
ACM Transactions on Computational Logic
Publisher: ASSOC COMPUTING MACHINERY
Science of Computer Programming
Publisher: ELSEVIER
Proceedings of the ACM on Programming Languages
Publisher: ACM
Formal Aspects of Computing
Publisher: ASSOC COMPUTING MACHINERY
Information and Computation
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCE
0 Journals Selected to compare with
Logical Methods in Computer Science
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Logical Methods in Computer Science
How long has Logical Methods in Computer Science been actively publishing? 
Logical Methods in Computer Science has been in operation since 2005 till date.
What is the publishing frequency of Logical Methods in Computer Science?
Logical Methods in Computer Science published with a Irregular frequency.
How many articles did Logical Methods in Computer Science publish last year?
In 2023, Logical Methods in Computer Science publsihed 95 articles.
What is the eISSN & pISSN for Logical Methods in Computer Science?
For Logical Methods in Computer Science, eISSN is 1860-5974 and pISSN is 1860-5974.
What is Citescore for Logical Methods in Computer Science?
Citescore for Logical Methods in Computer Science is 2.
What is SNIP score for Logical Methods in Computer Science?
SNIP score for Logical Methods in Computer Science is 1.02.
What is the SJR for Logical Methods in Computer Science?
SJR for Logical Methods in Computer Science is Q4.
Who is the publisher of Logical Methods in Computer Science?
LOGICAL METHODS COMPUTER SCIENCE E V is the publisher of Logical Methods in Computer Science.
