On Freeze LTL with Ordered Attributes (Q2811345): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W825655794
@@ Property / OpenAlex ID: W825655794 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06355
@@ Property / arXiv ID: 1504.06355 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Shuffle Expressions and Words with Nested Data
@@ Property / cites work: Shuffle Expressions and Words with Nested Data / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Mixing Lossy and Perfect Fifo Channels
@@ Property / cites work: Mixing Lossy and Perfect Fifo Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered Navigation on Multi-attributed Data Words
@@ Property / cites work: Ordered Navigation on Multi-attributed Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Data Repetitions with Counter Systems
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Alternating register automata on finite words and trees
+Normal rank
@@ Property / cites work @@
+Modal Logics Between Propositional and First-order
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+The Power of Priority Channel Systems
@@ Property / cites work: The Power of Priority Channel Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics on Words with Multiple Data Values.
+Normal rank
@@ Property / cites work @@
+Safely Freezing LTL
@@ Property / cites work: Safely Freezing LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Q4511269
@@ Property / cites work: Q4511269 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal recursive complexity of unordered data nets
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank