MASINI, Andrea
MASINI, Andrea
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
A Labeled Natural Deduction System for a Fragment of CTL∗
2009-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A temporal logic approach to specify and to prove properties of finite state concurrent systems
1989-01-01 M., Danelutto; Masini, Andrea
Coherence for sharing proof nets
1996-01-01 S., Guerrini; S., Martini; Masini, Andrea
Proof nets, garbage, and computations
1997-01-01 S., Guerrini; S., Martini; Masini, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Labeled Natural Deduction System for a Fragment of CTL∗ | 1-gen-2009 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A Logical Framework for XML Reference Specification | 1-gen-2015 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| A temporal logic approach to specify and to prove properties of finite state concurrent systems | 1-gen-1989 | M., Danelutto; Masini, Andrea | |
| Coherence for sharing proof nets | 1-gen-1996 | S., Guerrini; S., Martini; Masini, Andrea | |
| Proof nets, garbage, and computations | 1-gen-1997 | S., Guerrini; S., Martini; Masini, Andrea |