Quasipolynomial computation of nested fixpoints (Q2044189): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474121
@@ Property / cites work: Q4474121 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Way to Alternating Weak Automata
@@ Property / cites work: On the Way to Alternating Weak Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995363
@@ Property / cites work: Q4995363 / rank @@
+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 @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic mu-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic mu-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Universal graphs and good for games automata: new tools for infinite duration games
+Normal rank
@@ Property / cites work @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
+Normal rank
@@ Property / cites work @@
+A pseudo-quasi-polynomial algorithm for mean-payoff parity games
+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 @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
+Normal rank
@@ Property / cites work @@
+Deciding the unguarded modal -calculus
@@ Property / cites work: Deciding the unguarded modal -calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Lattice-theoretic progress measures and coalgebraic model checking
+Normal rank
@@ Property / cites work @@
+Quasipolynomial computation of nested fixpoints
@@ Property / cites work: Quasipolynomial computation of nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875397
@@ Property / cites work: Q5875397 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal satisfiability checking for arithmetic \(\mu\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4518901
@@ Property / cites work: Q4518901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Latticed Simulation Relations and Games
@@ Property / cites work: Latticed Simulation Relations and Games / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal μ perspective on solving parity games in quasi-polynomial time
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+On the equivalence of game and denotational semantics for the probabilistic mu-calculus
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank