Conway's Games and Some of their Basic Properties

DOI10.2478/V10037-011-0013-6zbMath1276.91036OpenAlexW2066252944MaRDI QIDQ2865734

Robin Nittka

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0013-6

zbMATH Keywords

proof assistantMizarbasic conceptsConwaymathematic formalizationnumbers and games

Mathematics Subject Classification ID

Game theory (91A99) Games involving graphs (91A43) Formal languages and automata (68Q45)

Related Items (2)

Simple-named complex-valued nominative data -- definition and basic operations ⋮ Cousin's Lemma

Uses Software

• Mizar

Cites Work

• Semantics of MML Query - Ordering

This page was built for publication: Conway's Games and Some of their Basic Properties