Q5207047 (Q5207047): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00483
@@ Property / arXiv ID: 1811.00483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4633896
@@ Property / cites work: Q4633896 / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Good-for-Games Automata Are Efficiently Recognizable
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism in the Presence of a Diverse or Unknown Future
+Normal rank
@@ Property / cites work @@
+The Quest for a Tight Translation of Büchi to co-Büchi Automata
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+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 @@
+Universal graphs and good for games automata: new tools for infinite duration games
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Q4484483
@@ Property / cites work: Q4484483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Eventually safe languages
@@ Property / cites work: Eventually safe languages / rank @@
+Normal rank
@@ Property / cites work @@
+Are Good-for-Games Automata Good for Probabilistic Model Checking?
+Normal rank
@@ Property / cites work @@
+Width of Non-deterministic Automata
@@ Property / cites work: Width of Non-deterministic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Determinisation of Good-for-Games Automata
@@ Property / cites work: On Determinisation of Good-for-Games Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Exponentially Ambiguous Finite Automata from Polynomially Ambiguous Finite Automata
+Normal rank
@@ Property / cites work @@
+DESCRIPTIONAL COMPLEXITY OF NFA OF DIFFERENT AMBIGUITY
+Normal rank
@@ Property / cites work @@
+Structurally Unambiguous Finite Automata
@@ Property / cites work: Structurally Unambiguous Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results on the Existence of Lookahead Delegators for NFA
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-State Automata on Infinite Inputs
@@ Property / cites work: Finite-State Automata on Infinite Inputs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing GFG Transition-Based Automata
@@ Property / cites work: Minimizing GFG Transition-Based Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Provably Difficult Combinatorial Games
@@ Property / cites work: Provably Difficult Combinatorial Games / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5207047