Weiter zum Inhalt Weiter zur Fußzeile

Logical methods in computer science : LMCS

ISSNs: 1860-5974

Weitere durchsuchbare ISSN (elektronisch): 1860-5974

Logical Methods in Computer Science, Deutschland

Scopus-Bewertung (2023): CiteScore 1,8 SJR 0,573 SNIP 0,931

In DOAJ indiziert

Fachzeitschrift: Zeitschrift

Titel
  • Logical methods in computer science : LMCS
  • Logical Methods in Computer Science
  • Logical methods in computer science
  • Logical methods in computer science : LMCS
Weitere durchsuchbare TitelLog. Methods Comput. Sci.
ISSNs1860-5974
Weitere durchsuchbare ISSN (elektronisch)1860-5974
VerlagLogical Methods in Computer Science
Land/GebietDeutschland
ZDB-ID2170262-7

Schlagworte

ASJC-Scopus Sachgebiete

Bibliotheksschlagworte

Verknüpfte Inhalte

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, S. 4:1–4:66 66 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Tractable Combinations of Temporal CSPs

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Partially Ordered Automata and Piecewise Testability

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (12)