Q5856426 (Q5856426): Difference between revisions

@@ Property / cites work @@
+Q3083813
@@ Property / cites work: Q3083813 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Games and Reactive Synthesis
@@ Property / cites work: Graph Games and Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Automata vs. Logics on Data Words
@@ Property / cites work: Automata vs. Logics on Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Logics for Word Transductions with Synthesis
@@ Property / cites work: Logics for Word Transductions with Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Transformations of Data Words Through Origin Information
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+On computability of data word functions defined by transducers
+Normal rank
@@ Property / cites work @@
+Synthesis with Identifiers
@@ Property / cites work: Synthesis with Identifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Relating timed and register automata
@@ Property / cites work: Relating timed and register automata / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and uniformisation problems for finite transducers
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Efficient Parameterized Synthesis
@@ Property / cites work: Towards Efficient Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+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 @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Two Order Relations
@@ Property / cites work: Two-Variable Logic with Two Order Relations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5856426