Decidability of interval temporal logics

Pietro Sala. Decidability of interval temporal logics. PhD thesis, University of Udine, Italy, 2010. [doi]

Abstract

Abstract is missing.