Skip to content Skip to footer

Logical methods in computer science : LMCS

ISSNs: 1860-5974

Additional searchable ISSN (electronic): 1860-5974

Logical Methods in Computer Science, Germany

Scopus rating (2023): CiteScore 1.8 SJR 0.573 SNIP 0.931

Indexed in DOAJ

Journal

Titles
  • Logical methods in computer science : LMCS
  • Logical Methods in Computer Science
  • Logical methods in computer science
  • Logical methods in computer science : LMCS
Additional searchable titlesLog. Methods Comput. Sci.
ISSNs1860-5974
Additional searchable ISSN (electronic)1860-5974
PublisherLogical Methods in Computer Science
Country/TerritoryGermany
ZDB-ID2170262-7

Keywords

Related content

Foundations of probability-raising causality in Markov decision processes

Baier, C., Piribauer, J. & Ziemek, R., 19 Jan 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66 66 p.

Research output: Contribution to journalResearch articleContributedpeer-review

Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?

Bednarczyk, B. & Demri, S., 1 Jul 2022, In: Logical methods in computer science. 18, 3, p. 5:1–5:46

Research output: Contribution to journalResearch articleContributedpeer-review

Tractable Combinations of Temporal CSPs

Bodirsky, M., Greiner, J. & Rydval, J., 2022, In: Logical Methods in Computer Science. 18, 2, p. 11:1-11:33 2.

Research output: Contribution to journalResearch articleContributedpeer-review

Partially Ordered Automata and Piecewise Testability

Masopust, T. & Krötzsch, M., 2021, In: Logical methods in computer science. 17, 2, p. 14:1–14:36

Research output: Contribution to journalResearch articleContributedpeer-review

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Bodirsky, M. & Greiner, J., 2020, In: Logical methods in computer science : LMCS. 16, 1, 1.

Research output: Contribution to journalResearch articleContributedpeer-review