Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

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

1 - 10 von 12Seitengröße: 10

10
20
50
100

Seitengröße auswählen:

sortieren: Erscheinungsdatum

Sortieren nach:

Reihenfolge:

Aufst.

Abst.

12 Veröffentlichungen

2024

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
Veröffentlicht

2022

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
Veröffentlicht
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
Veröffentlicht

2021

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
Veröffentlicht

2020

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
Veröffentlicht

2018

A dichotomy for first-order reducts of unary structures
Bodirsky, M. & Mottet, A., 22 Mai 2018, in: Logical methods in computer science. 14, 2, 13.
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Veröffentlicht

2016

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Baader, F., Borgwardt, S. & Morawska, B., 2016, in: Logical Methods in Computer Science. 12, 4, S. 1-28 28 S.
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Veröffentlicht

2014

Stochastic Timed Automata
Bertrand, N., Bouyer, P., Brihaye, T., Menet, Q., Baier, C., Groesser, M. & Jurdzinski, M., 8 Okt. 2014, in: Logical methods in computer science : LMCS. 10, 4, S. 1–73
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Veröffentlicht

2012

Essential Convexity and Complexity of Semi-Algebraic Constraints
Bodirsky, M., Jonsson, P. & Oertzen, T. V., 2012, in: Logical methods in computer science : LMCS. 8, 4, S. 1-25
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

2011

The Complexity of Rooted Phylogeny Problems
Bodirsky, M. & Müller, J. K., 2011, in: Logical methods in computer science : LMCS. 7, 4, S. 1–19 4.
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Vorherige 1 2 Nächste