SCIEQ1
Logical Methods in Computer Science
LOGICAL METHODS COMPUTER SCIENCE E V
Logical Methods in Computer Science is an academic journal published by LOGICAL METHODS COMPUTER SCIENCE E V. Identifiers: ISSN 1860-5974, eISSN 1860-5974. Indexed in SCIE. Metrics: JIF 1.0. Subject areas: COMPUTER SCIENCE, LOGIC, THEORY & METHODS. tlooto lists 175 papers from this journal.
CiteScore
-
Scopus citation metric
SJR
-
SCImago rank
SNIP
-
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 1860-5974
- eISSN
- 1860-5974
- Abbreviation
- LOG METH COMPUT SCI
- Publisher
- LOGICAL METHODS COMPUTER SCIENCE E V
- Country
- -
Web of Science categories
SCIECOMPUTER SCIENCE, LOGIC, THEORY & METHODS
Scopus ASJC categories
No ASJC category data available.
Keywords
Computer Science, Theory & Methods | Logic
Papers in this journal
Recent papers
- Epistemic Skills: Reasoning about Knowledge and Oblivion
2026
- The Bright Side of Timed Opacity
2026
- First Order Logic on Pathwidth Revisited Again
2026
- Localized RETE for Incremental Graph Queries with Nested Graph Conditions
2026
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
2026
Most cited papers
- Markov Decision Processes with Multiple Long-Run AverageObjectives
2011 · 51 citations
- A System F accounting for scalars
2009 · 40 citations
- Finite choice, convex choice and finding roots
2013 · 30 citations
- URSA: A System for Uniform Reduction to SAT
2010 · 21 citations
- On Separation by Locally Testable and Locally Threshold Testable Languages
2013 · 16 citations