Q3304146 (Q3304146): Difference between revisions

@@ Property / cites work @@
+Q4633896
@@ Property / cites work: Q4633896 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism in the Presence of a Diverse or Unknown Future
+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 @@
+Q4484483
@@ Property / cites work: Q4484483 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Are Good-for-Games Automata Good for Probabilistic Model Checking?
+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 @@
+Q4268433
@@ Property / cites work: Q4268433 / rank @@
+Normal rank
@@ Property / cites work @@
+DESCRIPTIONAL COMPLEXITY OF NFA OF DIFFERENT AMBIGUITY
+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 @@
+On the degree of ambiguity of finite automata
@@ Property / cites work: On the degree of ambiguity of finite automata / rank @@
+Normal rank