Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422): Difference between revisions

@@ Property / cites work @@
+Modelling Infinite Structures with Atoms
@@ Property / cites work: Modelling Infinite Structures with Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113676
@@ Property / cites work: Q3113676 / 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 @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / 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 @@
+Forms of Determinism for Automata (Invited Talk)
@@ Property / cites work: Forms of Determinism for Automata (Invited Talk) / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with rigidly guarded data tests
@@ Property / cites work: Logics with rigidly guarded data tests / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Data Automata and Fixpoint Logic
@@ Property / cites work: Generalized Data Automata and Fixpoint Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of deterministic regular languages over infinite alphabets.
+Normal rank
@@ Property / cites work @@
+Q5472919
@@ Property / cites work: Q5472919 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+Normal rank
@@ Property / cites work @@
+Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
+Normal rank
@@ Property / cites work @@
+Regular expressions for data words
@@ Property / cites work: Regular expressions for data words / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+The containment problem for unambiguous register automata and unambiguous timed automata
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Intractability of decision problems for finite-memory automata
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank