Skip to content

Computations on Simple Games Using RelView.

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart

VenueBCASC
Year2011
ProceedingsCASC

Browse the full CASC paper archive.