VOLPE, Marco

VOLPE, Marco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A History of Until 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
A labeled deduction system for the logic UB 1-gen-2013 C., Caleiro; Vigano', Luca; Volpe, Marco
A Labeled Natural Deduction System for a Fragment of CTL∗ 1-gen-2009 Masini, Andrea; Vigano', Luca; Volpe, Marco
Back from the future 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 1-gen-2017 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Labeled natural deduction for temporal logics 1-gen-2010 Volpe, Marco
Labeled natural deduction systems for a family of tense logics 1-gen-2008 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
Quantum State Transformations and Branching Distributed Temporal Logic 1-gen-2014 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Using interpolation for the verification of security protocols 1-gen-2013 Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove