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

@@ 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