
- RIUMA Principal
- Investigación
- Matemática Aplicada - (MA)
- MA - Conferencias Científicas
- Listar MA - Conferencias Científicas por autor
Listar MA - Conferencias Científicas por autor "Sciavicco, Guido"
Mostrando ítems 1-2 de 2
-
Complejidad y computabilidad desde un punto de vista lógico
Sciavicco, Guido (2017-04-28)En esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad ... -
Reasoning in Interval Temporal Logics - New Frontiers
Sciavicco, Guido (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 ...