Sfoglia per Autore
A temporal logic approach to specify and to prove properties of finite state concurrent systems
1989-01-01 M., Danelutto; Masini, Andrea
2-sequent calculus: a proof theory of modalities
1992-01-01 Masini, Andrea
TTL: a formalism to describe local and global properties of distributed systems
1992-01-01 Masini, Andrea; A., Maggiolo Schettini
2-sequent calculus: intuitionism and natural deduction
1993-01-01 Masini, Andrea
A modal view of linear logic
1994-01-01 S., Martini; Masini, Andrea
On the fine structure of the exponential rule
1995-01-01 S., Martini; Masini, Andrea
Coherence for sharing proof nets
1996-01-01 S., Guerrini; S., Martini; Masini, Andrea
A computational interpretation of modal proofs
1996-01-01 S., Martini; Masini, Andrea
Experiments in Linear Natural Deduction
1997-01-01 Martini, S.; Masini, Andrea
Proof nets, garbage, and computations
1997-01-01 S., Guerrini; S., Martini; Masini, Andrea
An analysis of (linear) exponentials based on extended sequents
1998-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
Modal Logic, Linear Logic, Optimal Lambda-reduction
1999-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
Parsing MELL proof nets
2001-01-01 Guerrini, S.; Masini, Andrea
Proof nets, garbage, and computations
2001-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
A Proof-theoretic Investigation of a Logic of Positions
2003-01-01 Baratella, S.; Masini, Andrea
Coherence for sharing proof-nets
2003-01-01 Guerrini, S.; Martini, S.; Masini, Andrea
An approach to infinitary temporal proof theory
2004-01-01 Baratella, S.; Masini, Andrea
An infinitary variant of Metric Temporal Logic over dense time domains
2004-01-01 Baratella, S.; Masini, Andrea
A way of making intensional quantification explicit
2004-01-01 Baratella, S.; Masini, Andrea
A note on unbounded metric temporal logic over dense time domains
2006-01-01 Baratella, S; Masini, Andrea
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile