Equivalences and congruences on infinite Conway games

DOI10.1051/ITA/2012001MaRDI QIDQ2889179zbMATHOpenAlexFDO

Authors Furio Honsell, Marina Lenisa, Rekha Redamalla

Publication date 4 June 2012

Published in RAIRO. Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/222005

zbMATH Keywords

coalgebrasequivalencesnon-wellfounded gamesConway gamesJoyal's category

Mathematics Subject Classification ID

Applications of game theory (91A80) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)

Recommendations

• Conway games, algebraically and coalgebraically
• Conway games, coalgebraically
• Categories of coalgebraic games
• Categories of coalgebraic games with selective sum
• scientific article; zbMATH DE number 988834

Cites work

• scientific article; zbMATH DE number 1670498 (Why is no real title available?)
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 3521877 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 1903345 (Why is no real title available?)
• scientific article; zbMATH DE number 3020856 (Why is no real title available?)
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Complementation of coalgebra automata
• Conway games, algebraically and coalgebraically
• Extensive games as process models
• Free \(\mu\)-lattices
• Games and full completeness for multiplicative linear logic
• When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus

Cited in

(6)

• Categories of coalgebraic games
• Conway games, algebraically and coalgebraically
• Multigames and strategies, coalgebraically
• Daisies, Kayles, and the Sibert-Conway decomposition in misère octal games
• Coping with cycles
• Conway games, coalgebraically

This page was built for publication: Equivalences and congruences on infinite Conway games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889179)