Logical Methods in Computer Science
Published by Centre pour la Communication Scientifique Directe
Open access · CC BY-ND · In DOAJ · Germany · Logic, programming, and type systems
Journal at a glance
- ISSN
- 1860-5974 (electronic)
- Publisher
- Centre pour la Communication Scientifique Directe
- Country
- Germany
- Language
- en
- License
- CC BY-ND
Also known as: LMCS (Alternate title)
Indexing
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 1745 | 2026 | Crossref |
| DOIs, current year (Crossref) | 291 | 2026 | Crossref |
| Works (OpenAlex) | 1819 | 2026 | OpenAlex |
| h-index (OpenAlex) | 47 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 440 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 0.657 | 2026 | OpenAlex |
| Citations (OpenAlex) | 15379 | 2026 | OpenAlex |
Subjects
- Logic, programming, and type systems
- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- semigroups and automata theory
- Computability, Logic, AI Algorithms
- Advanced Algebra and Logic
- Distributed systems and fault tolerance
- Philosophy. Psychology. Religion: Logic
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
Similar journals
- Scientific Annals of Computer Science — Romania · Open access · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 6 shared subjects in total
- Archive for mathematical logic — Germany · — · Same subject: Advanced Algebra and Logic, Same subject: Computability, Logic, AI Algorithms, 5 shared subjects in total, Same country
- Acta informatica — Germany · — · Same subject: Distributed systems and fault tolerance, Same subject: Formal Methods in Verification, 5 shared subjects in total, Same country
- Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Logic journal of the IGPL — United Kingdom · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Electronic notes in theoretical computer science — Kingdom of the Netherlands · Open access · Same subject: Distributed systems and fault tolerance, Same subject: Formal Methods in Verification, 4 shared subjects in total
Sources: DOAJ, OpenAlex, Crossref · Last verified 2026-09-06
Journal homepage · Author guidelines