CATALOGO DEI PRODOTTI DELLA RICERCA

MASINI, Andrea

MASINI, Andrea  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.037 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 hybrid logic for XML reference constraints 1-gen-2018 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Labeled Natural Deduction System for a Fragment of CTL∗ 1-gen-2009 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Logic for Quantum Register Measurements 1-gen-2019 Masini, Andrea; Zorzi, Margherita
A Logical Framework for XML Reference Specification 1-gen-2015 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A modal view of linear logic 1-gen-1994 S., Martini; Masini, Andrea
A natural deduction calculus for S4.2 In corso di stampa Martini, Simone; Masini, Andrea; Zorzi, Margherita
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 two-dimensional metric temporal logic 1-gen-2019 Masini, Andrea; Baratella, Stefano
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