On computability of data word functions defined by transducers (Q2200823): Difference between revisions

@@ Property / OpenAlex ID @@
+W3023763951
@@ Property / OpenAlex ID: W3023763951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5271416
@@ Property / cites work: Q5271416 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Regular Transformations of Data Words Through Origin Information
+Normal rank
@@ Property / cites work @@
+Synthesis with Identifiers
@@ Property / cites work: Synthesis with Identifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5856426
@@ Property / cites work: Q5856426 / rank @@
+Normal rank
@@ Property / cites work @@
+Path Logics for Querying Graphs: Combining Expressiveness and Efficiency
+Normal rank
@@ Property / cites work @@
+On equivalence and uniformisation problems for finite transducers
+Normal rank
@@ Property / cites work @@
+A pattern logic for automata with outputs
@@ Property / cites work: A pattern logic for automata with outputs / rank @@
+Normal rank
@@ Property / cites work @@
+Two decidability problems for infinite words
@@ Property / cites work: Two decidability problems for infinite words / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Lookahead in Regular Infinite Games
@@ Property / cites work: Degrees of Lookahead in Regular Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence problems for mappings on infinite strings
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875386
@@ Property / cites work: Q5875386 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded synthesis of register transducers
@@ Property / cites work: Bounded synthesis of register transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions for data words
@@ Property / cites work: Regular expressions for data words / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on: ``How to decide continuity of rational functions on infinite words''
+Normal rank