Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
MONTANARI, Angelo
•
POLICRITI, Alberto
•
VITACOLONNA, Nicola
2009
Abstract
Technical Report RR02/2009
Archivio
Diritti
closed access