Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 22
Titolo Data di pubblicazione Autore(i) File
Focusing and proof-nets in linear and non commutative logic 1-gen-1999 Maieli, Roberto; J. M., Andreoli
Focalizzazione delle prove in logica non-commutativa 1-gen-2000 Maieli, Roberto
A new correctness criterion for multiplicative non commutative proof-nets 1-gen-2003 Maieli, Roberto
Non-commutative logic III : focusing proofs 1-gen-2003 Maieli, Roberto; Ruet, Paul
Modularity of proof nets: generating the type of a module 1-gen-2005 Maieli, Roberto; Quintijn, Puite
Interactive correctness criterion for multiplicative-additive proof-nets 1-gen-2006 Maieli, Roberto; Ruet, Paul
Non-commutative proof construction: a constraint-based approach 1-gen-2006 Maieli, Roberto; ANDREOLI Jean, Marc; Ruet, Paul
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 1-gen-2007 Maieli, Roberto
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 1-gen-2008 Maieli, Roberto
Cut Elimination for Monomial MALL Proof Nets 1-gen-2008 Maieli, Roberto; Laurent, Olivier
Transactional Nets 1-gen-2010 Maieli, Roberto; ANDREOLI Jean, Marc
Bipolar Proof Nets for MALL 1-gen-2012 Maieli, Roberto
Contractible Proof Structures 1-gen-2013 Maieli, Roberto
Construction of Bipolar Focussing Proof Structures 1-gen-2013 Maieli, Roberto
Construction of retractile proof structures 1-gen-2014 Maieli, Roberto
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing 1-gen-2015 Abrusci, Vito Michele; Maieli, Roberto
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing 1-gen-2016 Abrusci, Vito Michele; Maieli, Roberto
Non decomposable connectives of linear logic 1-gen-2019 Maieli, Roberto
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus 1-gen-2019 Maieli, Roberto; Abrusci, Vito Michele
Generalized connectives for multiplicative linear logic 1-gen-2020 Acclavio, M.; Maieli, R.
Mostrati risultati da 1 a 20 di 22
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