Q5020998 (Q5020998): Difference between revisions

@@ Property / cites work @@
+Principles of distributed systems. 12th international conference, OPODIS 2008, Luxor, Egypt, December 15--18, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5075257
@@ Property / cites work: Q5075257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995363
@@ Property / cites work: Q4995363 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of branching programs and decision trees for clique functions
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+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 @@
+Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
+Normal rank
@@ Property / cites work @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
+Normal rank
@@ Property / cites work @@
+Attracting tangles to solve parity games
@@ Property / cites work: Attracting tangles to solve parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Q5020529
@@ Property / cites work: Q5020529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215790
@@ Property / cites work: Q4215790 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary decision diagrams in theory and practice
@@ Property / cites work: Binary decision diagrams in theory and practice / 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 @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q3384882
@@ Property / cites work: Q3384882 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient manipulation of decision diagrams
@@ Property / cites work: Efficient manipulation of decision diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank
@@ Property / describes a project that uses @@
+LTSmin
@@ Property / describes a project that uses: LTSmin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Strix
@@ Property / describes a project that uses: Strix / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PGSolver
@@ Property / describes a project that uses: PGSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oink
@@ Property / describes a project that uses: Oink / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank