Parametrised complexity of satisfiability in temporal logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Luck, M.; Meier, A.; Schindler, I.: Parametrised complexity of satisfiability in temporal logic. In: ACM Transactions on Computational Logic 18 (2017), Nr. 1, 1. DOI: https://doi.org/10.1145/3001835

Ereignis
Veröffentlichung
(wo)
Hannover, Hannover
(wer)
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
(wann)
2017

DOI
10.15488/1212
URN
urn:nbn:de:101:1-2020060412543681598256
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:42 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)

Entstanden

  • 2017

Ähnliche Objekte (12)

The complexity of generalized satisfiability for linear temporal logic

The complexity of generalized satisfiability for linear temporal logic

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

Temporal Logic

Temporal Logic

Logic and complexity

Logic and complexity

Markov temporal logic

Markov temporal logic

Concurrent temporal logic

Concurrent temporal logic

Inductive temporal logic programming

Hochschulschrift

Inductive temporal logic programming

Tense or temporal logic

Tense or temporal logic

Temporal logic, [Pt. 1]

Temporal logic, [Pt. 1]

Temporal logic, Pt. 2

Temporal logic, Pt. 2

Team logic : axioms, expressiveness, complexity

Team logic : axioms, expressiveness, complexity

Induction of Linear Temporal Logic Programs

Induction of Linear Temporal Logic Programs

Verbundene Objekte