The alternation hierarchy for the theory of -lattices.

Santocanale, Luigi

Displaying similar documents to “The alternation hierarchy for the theory of $μ$ -lattices.”

Degrees of indeterminacy of games

Andreas Blass (1972)

Fundamenta Mathematicae

Similarity:

Potential-based strategies for tic-tac-toe on the integer lattice with numerous directions.

Kruczek, Klay, Sundberg, Eric (2010)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

On the complexity of $n$ -player Hackenbush.

Cincotti, Alessandro (2009)

Integers

Similarity:

$μ$ -bicomplete categories and parity games

Luigi Santocanale (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

For an arbitrary category, we consider the least class of functors containing the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by $μ$ -terms. We call the category $μ$ -bicomplete if every $μ$ -term defines a functor. We provide concrete examples of such categories and explicitly characterize this class of functors for the category of sets and functions. This goal...

Simplification of partizan games in misère play.

Mesdal, G.A., Ottaway, P. (2007)

Integers

Similarity:

Permissive strategies : from parity games to safety games

Julien Bernet, David Janin, Igor Walukiewicz (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the behaviours of all winning strategies. It is shown, however, that there always exists a permissive strategy that encompasses all the behaviours of all memoryless strategies. An algorithm for finding such a permissive strategy is presented. Its complexity matches currently known upper bounds for the simpler problem...