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).
Key Metrics
2
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
Q4
Computer Science (all)
SJR
- Q3 Computer Science (all)
- Q4 Theoretical Computer Science
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.02
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Topics Covered
- Space closure
- Calculus
- Block structure
- Probabilistic process
- Model checking
- Boolean algebra
- Proof theory
- Intuitionistic logic
- Natural deduction
- Hoare logic
- Type theory
Journal Specifications
| 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 | |
| Editorial Team | Visit website |
| Review Process | Anonymous peer review |
| Review Url | Visit website |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| Deposit Policy | Sherpa/Romeo |
| License type | CC BY |
| OA statement | Visit website |
Planning to publish in Logical Methods in Computer Science ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- 2 Feb 21
- Logical Methods in Computer Science
-
Full paper
Language Preservation Problems in Parametric Timed Automata
- 22 Jan 20
- Logical Methods in Computer Science
-
Full paper
On the Succinctness of Atoms of Dependency
- 20 Aug 19
- Logical Methods in Computer Science
-
Full paper
Validity and entailment in modal and propositional dependence logics
- 26 Apr 19
- Logical Methods in Computer Science
-
Full paper
Thin Games with Symmetry and Concurrent Hyland-Ong Games
- 4 Mar 19
- Logical Methods in Computer Science
-
Full paper
Models of Type Theory Based on Moore Paths
- 9 Jan 19
- Logical Methods in Computer Science
Scite analysis
Powered by scite_
1.5k articles received 15.5k citations see all
- 162 Supporting
- 15,317 Mentioning
- 4 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
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 years ?
In 2023, Logical Methods in Computer Science published articles.
What is the eISSN & pISSN for Logical Methods in Computer Science ?
For Logical Methods in Computer Science,eISSN is 1860-5974 and pISSN is1860-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.