Logical Methods in Computer Science
Logical Methods in Computer Science e.V.
About the journal
Logical Methods in Computer Science is an open-access journal published by Logical Methods in Computer Science e.V. in Germany, publishing in english. It is listed in DOAJ according to the sources read. Declared review time at DOAJ: 33 weeks. Facts are reproduced as recorded at their sources with their capture dates; PublishLens indicators are available after sign-in.
Basic facts
- Publisher
- Logical Methods in Computer Science e.V.
- ISSN
- 1860-5974
- Country
- Germany
- Languages
- english
- Access
- Open access
- Articles in DOAJ
- 1551
- Declared review time
- 33 weeks
- Declared peer-review model
- peer_review
- Official website
- https://lmcs.episciences.org/
Index listings
- DOAJ · 2004-09-24
- Indexing
- DOAJ
- APC
- —
- Declared review time (DOAJ)
- 33 weeks — journal-declared only (not measured)
- Activity (OpenAlex)
- Active — latest works 2026
- PublishLens list status
- Shown after sign-in
- Counts for promotion at your university?
- Choose your university and rank below ↓
Methodology signals (dated facts from their sources)
Details of the evaluation under the published methodology are shown to signed-in users (free).
Create a free account to view the evaluationJournal profile
Descriptive metadata from public sources (DOAJ, OpenAlex, PubMed) as of the capture date shown — contains no assessment or judgment.
Articles in DOAJ
1551
Most recent article
14 months ago
Average review time (journal-declared via DOAJ)
33weeks
Works in OpenAlex
1721
Last recorded publication year
2026
h-index
46
i10-index
433
From OpenAlex open data (CC0).
Editorial & policy10
- Last DOAJ review date
- 2026-08-03
- Added to DOAJ
- 2004-09-24
- Declared plagiarism screening
- Not declared
- Other fees beyond APC
- No
- Editorial board
- Official page ↗
- Norwegian register (HK-dir)— 2026
- Level 1 — approved scholarly channel
- Open references deposited at Crossref
- 0%
- ORCID iDs in current deposits
- 6%
- Enrolled in Crossref Similarity Check
- ✓
- Deposits licence metadata at Crossref
- ✓
- Peer-review policy
- View policy
Identity & continuity2
- Alternate titles
- LMCS
- Source type
- journal
Classification4
Subjects (DOAJ)
LCC codes
Subject areas
- Logic, programming, and type systems
- Logic, programming, and type systems
- Formal Methods in Verification
- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- Logic, Reasoning, and Knowledge
- semigroups and automata theory
- semigroups and automata theory
Show all subjects (50)
- Computability, Logic, AI Algorithms
- Computability, Logic, AI Algorithms
- Advanced Algebra and Logic
- Advanced Algebra and Logic
- Distributed systems and fault tolerance
- Distributed systems and fault tolerance
- Advanced Topology and Set Theory
- Advanced Topology and Set Theory
- Complexity and Algorithms in Graphs
- Petri Nets in System Modeling
- Petri Nets in System Modeling
- Complexity and Algorithms in Graphs
- Advanced Graph Theory Research
- Advanced Graph Theory Research
- Semantic Web and Ontologies
- Semantic Web and Ontologies
- Advanced Database Systems and Queries
- Advanced Database Systems and Queries
- Homotopy and Cohomology in Algebraic Topology
- Homotopy and Cohomology in Algebraic Topology
- Model-Driven Software Engineering Techniques
- Model-Driven Software Engineering Techniques
- Machine Learning and Algorithms
- Machine Learning and Algorithms
- Constraint Satisfaction and Optimization
- Security and Verification in Computing
- Constraint Satisfaction and Optimization
- Security and Verification in Computing
- Algorithms and Data Compression
- Algorithms and Data Compression
- Software Testing and Debugging Techniques
- Software Testing and Debugging Techniques
- Natural Language Processing Techniques
- Natural Language Processing Techniques
- Advanced Software Engineering Methodologies
- Advanced Software Engineering Methodologies
- DNA and Biological Computing
- DNA and Biological Computing
- Parallel Computing and Optimization Techniques
- Parallel Computing and Optimization Techniques
- Bayesian Modeling and Causal Inference
- Bayesian Modeling and Causal Inference
Keywords (DOAJ)
- theoretical computer science
- logical methods
Community confirmations — what users saw in MJL or Scopus Sources; not platform verification and never part of any score.
The journal's record in other sources:Web of Science MJLDOAJ