Tighter Bounds for the Determinisation of Büchi Automata (Q3617728): Difference between revisions

@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3739111
@@ Property / cites work: Q3739111 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
+Normal rank
@@ Property / cites work @@
+A tighter analysis of Piterman's Büchi determinization
+Normal rank
@@ Property / cites work @@
+Asymptotic Estimates of Stirling Numbers
@@ Property / cites work: Asymptotic Estimates of Stirling Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+BÜCHI COMPLEMENTATION MADE TIGHTER
@@ Property / cites work: BÜCHI COMPLEMENTATION MADE TIGHTER / rank @@
+Normal rank