Follow
Andrea Masini
Andrea Masini
Dept. Computer Science, University of Verona
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
A computational interpretation of modal proofs
S Martini, A Masini
Proof theory of modal logic, 213-241, 1996
1061996
2-sequent calculus: A proof theory of modalities
A Masini
Annals of Pure and Applied Logic 58 (3), 229-246, 1992
911992
On the fine structure of the exponential rule
SMA Masini
Advances in linear logic 222, 197, 1995
471995
2-sequent calculus: Intuitionism and natural deduction
A Masini
Journal of Logic and Computation 3 (5), 533-562, 1993
431993
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
412010
Parsing MELL proof nets
S Guerrini, A Masini
Theoretical Computer Science 254 (1-2), 317-335, 2001
302001
On a measurement-free quantum lambda calculus with classical control
U Dal Lago, A Masini, M Zorzi
Mathematical Structures in Computer Science 19 (2), 297-335, 2009
262009
Modal Deduction Systems for Quantum State Transformations.
A Masini, L Viganò, M Zorzi
J. Multiple Valued Log. Soft Comput. 17 (5-6), 475-519, 2011
242011
An analysis of (linear) exponentials based on extended sequents
S Guerrini, S Martini, A Masini
Logic Journal of the IGPL 6 (5), 735-754, 1998
241998
Coherence for sharing proof-nets
S Guerrini, S Martini, A Masini
Theoretical computer science 294 (3), 379-409, 2003
232003
A modal view of linear logic
S Martini, A Masini
The Journal of Symbolic Logic 59 (3), 888-899, 1994
231994
An approach to infinitary temporal proof theory
S Baratella, A Masini
Archive for Mathematical Logic 43 (8), 965-990, 2004
222004
Confluence results for a quantum lambda calculus with measurements
U Dal Lago, A Masini, M Zorzi
Electronic Notes in Theoretical Computer Science 270 (2), 251-261, 2011
212011
Coherence for sharing proof nets
S Guerrini, S Martini, A Masini
Rewriting Techniques and Applications: 7th International Conference, RTA-96 …, 1996
201996
A qualitative modal representation of quantum register transformations
A Masini, L Vigano, M Zorzi
38th International Symposium on Multiple Valued Logic (ismvl 2008), 131-137, 2008
162008
A proof-theoretic investigation of a logic of positions
S Baratella, A Masini
Annals of Pure and Applied Logic 123 (1-3), 135-162, 2003
162003
Labelled natural deduction for a bundled branching temporal logic
A Masini, L Viganò, M Volpe
Journal of Logic and Computation 21 (6), 1093-1163, 2011
142011
Proof nets, garbage, and computations
S Guerrini, S Martini, A Masini
Theoretical computer science 253 (2), 185-237, 2001
132001
Proof nets, garbage, and computations
S Guerrini, S Martini, A Masini
Typed Lambda Calculi and Applications: Third International Conference on …, 1997
91997
A Labeled Natural Deduction System for a Fragment of CTL*
A Masini, L Vigano, M Volpe
International Symposium on Logical Foundations of Computer Science, 338-353, 2009
82009
The system can't perform the operation now. Try again later.
Articles 1–20