- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0541
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Backdoors for Linear Temporal Logic ; day:18 ; month:9 ; year:2018 ; pages:1-21
Algorithmica ; (18.9.2018), 1-21
- Creator
-
Meier, Arne
- Contributor
-
Ordyniak, Sebastian
Ramanujan, M. S.
Schindler, Irena
SpringerLink (Online service)
- DOI
-
10.1007/s00453-018-0515-5
- URN
-
urn:nbn:de:101:1-2018110417022360731704
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meier, Arne
- Ordyniak, Sebastian
- Ramanujan, M. S.
- Schindler, Irena
- SpringerLink (Online service)
Other Objects (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
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
A Unified Translation of Linear Temporal Logic to ω-Automata
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
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
A Unified Translation of Linear Temporal Logic to ω-Automata
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
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity