Weak and Nested Class Memory Automata (Q2799172): Difference between revisions

@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+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 @@
+On notions of regularity for data languages
@@ Property / cites work: On notions of regularity for data languages / 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 @@
+Ordered Navigation on Multi-attributed Data Words
@@ Property / cites work: Ordered Navigation on Multi-attributed Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Subgraphs and well‐quasi‐ordering
@@ Property / cites work: Subgraphs and well‐quasi‐ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Automata for Two-Variable Logic with Successor on Data Words
+Normal rank
@@ Property / cites work @@
+Temporal Logics on Words with Multiple Data Values.
+Normal rank
@@ Property / cites work @@
+Counting Multiplicity over Infinite Alphabets
@@ Property / cites work: Counting Multiplicity over Infinite Alphabets / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Fresh-register automata
@@ Property / cites work: Fresh-register automata / rank @@
+Normal rank
@@ Property / cites work @@
+History-Register Automata
@@ Property / cites work: History-Register Automata / rank @@
+Normal rank