Aree di ricerca coinvolte dal progetto | |
---|---|
Informatica teorica
Logic |
Titolo | Autori | Anno |
---|---|---|
Quantum State Transformations and Branching Distributed Temporal Logic | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | 2014 |
A labeled deduction system for the logic UB | C. Caleiro; L. Vigano; M. Volpe | 2013 |
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators | Carlos Caleiro; Luca Vigano'; Marco Volpe | 2013 |
Strada le Grazie 15
37134 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2021 | Università degli studi di Verona | Credits