CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
Angelo Montanari
,
Alberto Policriti
,
Nicola Vitacolonna
2009-01-01
Cite
Abstract
Technical Report RR02/2009
Related
On Devising Algorithms for Ehrenfeucht-Fraïssé Games
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures
An event-based data warehouse to support decisions in multi-channel, multi-service contact centers
Games on Strings with a Limited Order Relation
Decidability of Interval Temporal Logics over Split-Frames via Granularity
Cite
×