VOLPE, Marco
VOLPE, Marco
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.021 secondi).
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations
2017-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A History of Until
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Back from the future
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Labelled natural deduction for a bundled branching temporal logic
2011-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
2013-01-01 Carlos, Caleiro; Vigano', Luca; Volpe, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations | 1-gen-2017 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
A History of Until | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
Back from the future | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
Labelled natural deduction for a bundled branching temporal logic | 1-gen-2011 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators | 1-gen-2013 | Carlos, Caleiro; Vigano', Luca; Volpe, Marco |