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.
Indexed in the following public directories
-
Web of Science -
Scopus -
DOAJ -
Inspec -
SJR
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
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
- 14 Nov 24
- Logical Methods in Computer Science
-
Full paper
Stochastic Processes with Expected Stopping Time
- 12 Nov 24
- Logical Methods in Computer Science
-
Full paper
On the relative asymptotic expressivity of inference frameworks
- 12 Nov 24
- Logical Methods in Computer Science
-
Full paper
Termination of Graph Transformation Systems Using Weighted Subgraph Counting
- 12 Nov 24
- Logical Methods in Computer Science
-
Full paper
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
- 8 Nov 24
- Logical Methods in Computer Science
-
Full paper
Sum and Tensor of Quantitative Effects
- 29 Oct 24
- Logical Methods in Computer Science
Scite analysis
Powered by scite_
1.5k articles received 15.8k citations see all
- 164 Supporting
- 15,623 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 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 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.