Skip to content
<title>Channels - A Recursive Approach to Solving Parity Games in Quasipolynomial Time :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Search for more channels:
Similar Items: A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Channel Options
View Record
Explore related channels
Quick Look
Timed Parity Games: Complexity and Robustness
Quick Look
Parity Games with Weights
Quick Look
Parity and Streett Games with Costs
Quick Look
Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
Quick Look
Stochastic Parity Games on Lossy Channel Systems
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Quick Look
An Objective Improvement Approach to Solving Discounted Payoff Games
Quick Look
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Quick Look
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
Quick Look
Improved Algorithms for Parity and Streett objectives
Quick Look
Dynamic Complexity of Parity Exists Queries
Quick Look
Solving Simple Stochastic Games with Few Random Vertices
Quick Look
A Light Modality for Recursion
Quick Look
Recursive Causal Discovery
Quick Look
Positive Inductive-Recursive Definitions
Quick Look
Unguarded Recursion on Coinductive Resumptions
Quick Look
The recursion hierarchy for PCF is strict
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Verifying liquidity of recursive Bitcoin contracts
Quick Look
General Recursion via Coinductive Types
Quick Look
Semantics of Higher-Order Recursion Schemes
Quick Look
Defining Recursive Predicates in Graph Orders
Quick Look
Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
Load more items
View Record
Prev
Explore related channels
Next
