Q5114824 (Q5114824): Difference between revisions

@@ Property / cites work @@
+Robust worst cases for parity games algorithms
@@ Property / cites work: Robust worst cases for parity games algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Entanglement and the complexity of directed graphs
+Normal rank
@@ Property / cites work @@
+Q5114824
@@ Property / cites work: Q5114824 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Automaton-Based Criteria for Membership in CTL
@@ Property / cites work: Automaton-Based Criteria for Membership in CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation invariant monadic-second order logic in the finite
+Normal rank
@@ Property / cites work @@
+Taming past LTL and flat counter systems
@@ Property / cites work: Taming past LTL and flat counter systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Descriptive Complexity of Parity Games
@@ Property / cites work: The Descriptive Complexity of Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+On Independent Circuits Contained in a Graph
@@ Property / cites work: On Independent Circuits Contained in a Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive algorithm for parity games requires exponential time
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Regular languages of thin trees
@@ Property / cites work: Regular languages of thin trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Kripke Structures and LTL
@@ Property / cites work: Weak Kripke Structures and LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Tree Automata and Parity Games
@@ Property / cites work: Alternating Tree Automata and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction
+Normal rank
@@ Property / cites work @@
+On alternating \(\omega\)-automata
@@ Property / cites work: On alternating \(\omega\)-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Solving Parity Games Using an Automata-Based Algorithm
+Normal rank
@@ Property / cites work @@
+Q4501666
@@ Property / cites work: Q4501666 / rank @@
+Normal rank