Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 42
Titolo Data di pubblicazione Autore(i) File
A temporal logic approach to specify and to prove properties of finite state concurrent systems 1-gen-1989 M., Danelutto; Masini, Andrea
2-sequent calculus: a proof theory of modalities 1-gen-1992 Masini, Andrea
TTL: a formalism to describe local and global properties of distributed systems 1-gen-1992 Masini, Andrea; A., Maggiolo Schettini
2-sequent calculus: intuitionism and natural deduction 1-gen-1993 Masini, Andrea
A modal view of linear logic 1-gen-1994 S., Martini; Masini, Andrea
On the fine structure of the exponential rule 1-gen-1995 S., Martini; Masini, Andrea
Coherence for sharing proof nets 1-gen-1996 S., Guerrini; S., Martini; Masini, Andrea
A computational interpretation of modal proofs 1-gen-1996 S., Martini; Masini, Andrea
Experiments in Linear Natural Deduction 1-gen-1997 Martini, S.; Masini, Andrea
Proof nets, garbage, and computations 1-gen-1997 S., Guerrini; S., Martini; Masini, Andrea
An analysis of (linear) exponentials based on extended sequents 1-gen-1998 Guerrini, S.; Martini, S.; Masini, Andrea
Modal Logic, Linear Logic, Optimal Lambda-reduction 1-gen-1999 Guerrini, S.; Martini, S.; Masini, Andrea
Parsing MELL proof nets 1-gen-2001 Guerrini, S.; Masini, Andrea
Proof nets, garbage, and computations 1-gen-2001 Guerrini, S.; Martini, S.; Masini, Andrea
A Proof-theoretic Investigation of a Logic of Positions 1-gen-2003 Baratella, S.; Masini, Andrea
Coherence for sharing proof-nets 1-gen-2003 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
A way of making intensional quantification explicit 1-gen-2004 Baratella, S.; Masini, Andrea
A note on unbounded metric temporal logic over dense time domains 1-gen-2006 Baratella, S; Masini, Andrea
Mostrati risultati da 1 a 20 di 42
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