PASCUCCI, Matteo
PASCUCCI, Matteo
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Unified Semantics for a Family of Modal Logics with Propositional Constants | 1-gen-2016 | Pascucci, Matteo | |
Two Temporal Logics of Contingency | 1-gen-2015 | Pascucci, Matteo | |
Verità e Giustificazione degli Asserti Temporali | 1-gen-2011 | Pascucci, Matteo |