Path Checking for MTL and TPTL over Data Words (Q3451113): Difference between revisions

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6790156
@@ Property / zbMATH Open document ID @@
+.68118
@@ Property / zbMATH Open document ID: 1459.68118 / rank @@
+Normal rank
@@ Property / DOI @@
+.23638/LMCS-13(3:19)2017
@@ Property / DOI: 10.23638/LMCS-13(3:19)2017 / rank @@
+Normal rank
@@ Property / publication date @@
+October 2017Timestamp +2017-10-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-10-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 October 2017 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6790156
@@ Property / zbMATH DE Number: 6790156 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962748292
@@ Property / OpenAlex ID: W2962748292 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3644
@@ Property / arXiv ID: 1412.3644 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+metric temporal logic
@@ Property / zbMATH Keywords: metric temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+times propositional temporal logic
@@ Property / zbMATH Keywords: times propositional temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+freeze LTL
@@ Property / zbMATH Keywords: freeze LTL / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+path checking problem
@@ Property / zbMATH Keywords: path checking problem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deterministic one-counter machines
@@ Property / zbMATH Keywords: deterministic one-counter machines / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+data words
@@ Property / zbMATH Keywords: data words / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking One-clock Priced Timed Automata
@@ Property / cites work: Model Checking One-clock Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Temporal-Logic Path Checking
@@ Property / cites work: On the Complexity of Temporal-Logic Path Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994943
@@ Property / cites work: Q4994943 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability for MTL and TPTL over Non-monotonic Data Words
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Model checking memoryful linear-time logics over one-counter automata
+Normal rank
@@ Property / cites work @@
+An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
+Normal rank
@@ Property / cites work @@
+Path Checking for MTL and TPTL over Data Words
@@ Property / cites work: Path Checking for MTL and TPTL over Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843270
@@ Property / cites work: Q4843270 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform constant-depth threshold circuits for division and iterated multiplication.
+Normal rank
@@ Property / cites work @@
+Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
+Normal rank
@@ Property / cites work @@
+Q4738231
@@ Property / cites work: Q4738231 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Model Checking Metric Temporal Logic over Automata with One Counter
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of integers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3451113