- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0541
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Backdoors for Linear Temporal Logic ; day:18 ; month:9 ; year:2018 ; pages:1-21
Algorithmica ; (18.9.2018), 1-21
- Urheber
-
Meier, Arne
- Beteiligte Personen und Organisationen
-
Ordyniak, Sebastian
Ramanujan, M. S.
Schindler, Irena
SpringerLink (Online service)
- DOI
-
10.1007/s00453-018-0515-5
- URN
-
urn:nbn:de:101:1-2018110417022360731704
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
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.
Beteiligte
- Meier, Arne
- Ordyniak, Sebastian
- Ramanujan, M. S.
- Schindler, Irena
- SpringerLink (Online service)
Ähnliche Objekte (12)
Backdoors for linear temporal logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
The complexity of generalized satisfiability for linear temporal logic
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the Relationship of Event Order Logic and Linear Temporal Logic
Foundations for using linear temporal logic in Event-B refinement
Temporal Logic
A Unified Translation of Linear Temporal Logic to ω-Automata
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Backdoors for linear temporal logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
The complexity of generalized satisfiability for linear temporal logic
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the Relationship of Event Order Logic and Linear Temporal Logic
Foundations for using linear temporal logic in Event-B refinement
Temporal Logic
A Unified Translation of Linear Temporal Logic to ω-Automata
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
Backdoors for linear temporal logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
The complexity of generalized satisfiability for linear temporal logic
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the Relationship of Event Order Logic and Linear Temporal Logic
Foundations for using linear temporal logic in Event-B refinement
Temporal Logic
A Unified Translation of Linear Temporal Logic to ω-Automata