ListarMA - Conferencias Científicas por tema "Complexity"
Mostrando ítems 1-1 de 1
-
Reasoning in Interval Temporal Logics - New Frontiers
(2014-10-27)In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental definitions, with particular attention to the parameters that ...