MASINI, Andrea

MASINI, Andrea  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
2-sequent calculus: a proof theory of modalities 1-gen-1992 Masini, Andrea
2-sequent calculus: intuitionism and natural deduction 1-gen-1993 Masini, Andrea
A computational interpretation of modal proofs 1-gen-1996 S., Martini; Masini, Andrea
A History of Until 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Labeled Natural Deduction System for a Fragment of CTL∗ 1-gen-2009 Masini, Andrea; Vigano', Luca; Volpe, Marco
A modal view of linear logic 1-gen-1994 S., Martini; Masini, Andrea
A natural deduction system for bundled branching time logic 1-gen-2013 Baratella, Stefano; Masini, Andrea
A note on unbounded metric temporal logic over dense time domains 1-gen-2006 Baratella, S; Masini, Andrea
A Proof-theoretic Investigation of a Logic of Positions 1-gen-2003 Baratella, S.; Masini, Andrea
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
A way of making intensional quantification explicit 1-gen-2004 Baratella, S.; Masini, Andrea
An analysis of (linear) exponentials based on extended sequents 1-gen-1998 Guerrini, S.; Martini, S.; Masini, Andrea
An approach to infinitary temporal proof theory 1-gen-2004 Baratella, S.; Masini, Andrea
An infinitary variant of Metric Temporal Logic over dense time domains 1-gen-2004 Baratella, S.; Masini, Andrea
Back from the future 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
Coherence for sharing proof nets 1-gen-1996 S., Guerrini; S., Martini; Masini, Andrea
Coherence for sharing proof-nets 1-gen-2003 Guerrini, S.; Martini, S.; Masini, Andrea
Confluence results for a quantum lambda calculus with measurements 1-gen-2011 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Experiments in Linear Natural Deduction 1-gen-1997 Martini, S.; Masini, Andrea