Logical Methods in Computer Science
Last updated ISSN 1860-5974
Logical Methods in Computer Science is published by Logical Methods in Computer Science e.V. in computer science. It is open access. Its article processing charge is not published.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close Logical Methods in Computer Science is — and show you journals like it.
What it publishes
Recent work in Logical Methods in Computer Science concentrates on these topics, taken from its published record rather than from its own description:
- 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
- Advanced Topology and Set Theory
- Complexity and Algorithms in Graphs
- Petri Nets in System Modeling
Key facts
| Publisher | Logical Methods in Computer Science e.V. |
|---|---|
| ISSN | 1860-5974 |
| Subject area | Computer Science |
| Access | Open access |
| Article processing charge | Not published |
| Indexed in | Web of Science — Science Citation Index Expanded · Scopus · DOAJ |
| Articles published | 1,823 |
| Publishing since | 1970 |
| Journal website | www.lmcs-online.org/ |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like Logical Methods in Computer Science
Other established journals in computer science, if this one is not the right home for your paper: