Fixed-Point Characterisation of Winning Strategies in Impartial Games
We use fixed-point calculus to characterise winning strategies in impartial, two-person games. A byproduct is the fixed-point characterisation of winning, losing and stalemate positions. We expect the results to be most useful in teaching calculational reasoning about least and greatest fixed points.
Unable to display preview. Download preview PDF.