An Automaton over Data Words That Captures EMSO Logic (Q3090829): Difference between revisions

@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / 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 @@
+An extension of data automata that captures XPath
@@ Property / cites work: An extension of data automata that captures XPath / 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 @@
+Realizability of Dynamic MSC Languages
@@ Property / cites work: Realizability of Dynamic MSC Languages / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal construction of Hanf sentences
@@ Property / cites work: An optimal construction of Hanf sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+A logical characterization of data languages.
@@ Property / cites work: A logical characterization of data languages. / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On the Satisfiability of Two-Variable Logic over Data Words
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+Normal rank
@@ Property / cites work @@
+Temporal Logics on Words with Multiple Data Values.
+Normal rank
@@ Property / cites work @@
+Q4415260
@@ Property / cites work: Q4415260 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Q3836531
@@ Property / cites work: Q3836531 / rank @@
+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