Decidability of Interval Temporal Logics

Pietro Sala
Università di Udine
15 Marzo 2010

FULL PDF