1 paper · 1 filter
Răzvan Diaconescu
We develop a generic computational model that can be used effectively for establishing the existence of winning strategies for concrete finite combinatorial games. Our modelling is…