Hochschulschrift
Logics on data words : Expressivity, satisfiability, model checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dortmund, Technische Universität, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dortmund
- (wer)
-
Universitätsbibliothek Dortmund
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
-
Schwentick, Thomas
Bollig, Benedikt
- Handle
-
2003/35216
- URN
-
urn:nbn:de:101:1-201609231316
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Kara, Ahmet
- Schwentick, Thomas
- Bollig, Benedikt
- Universitätsbibliothek Dortmund
Entstanden
- 2016
Ähnliche Objekte (12)
Satisfiability and model checking in team based logics
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Satisfiability Checking for the Coalgebraic µ-Calculus
New Perspectives in Symbolic Computation and Satisfiability Checking
On the Satisfiability of Temporal Logics with Concrete Domains
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Model Checking Concurrent Systems Using Temporal Logics
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Infinite state model checking of propositional dynamic logics
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Satisfiability and model checking in team based logics
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Satisfiability Checking for the Coalgebraic µ-Calculus
New Perspectives in Symbolic Computation and Satisfiability Checking
On the Satisfiability of Temporal Logics with Concrete Domains
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Model Checking Concurrent Systems Using Temporal Logics
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Infinite state model checking of propositional dynamic logics
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Satisfiability and model checking in team based logics
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Satisfiability Checking for the Coalgebraic µ-Calculus
New Perspectives in Symbolic Computation and Satisfiability Checking
On the Satisfiability of Temporal Logics with Concrete Domains
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Model Checking Concurrent Systems Using Temporal Logics
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Infinite state model checking of propositional dynamic logics