A succinct canonical register automaton model (Q478388): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+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 @@
+A logical characterization of data languages.
@@ Property / cites work: A logical characterization of data languages. / rank @@
+Normal rank
@@ Property / cites work @@
+A Succinct Canonical Register Automaton Model
@@ Property / cites work: A Succinct Canonical Register Automaton Model / rank @@
+Normal rank
@@ Property / cites work @@
+A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of deterministic regular languages over infinite alphabets.
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Canonical Register Automata
@@ Property / cites work: Inferring Canonical Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q4536630
@@ Property / cites work: Q4536630 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942006
@@ Property / cites work: Q4942006 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank