MAIELI, ROBERTO

MAIELI, ROBERTO  

Dipartimento di Matematica e Fisica  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A new correctness criterion for multiplicative non commutative proof-nets 1-gen-2003 Maieli, Roberto
A Proof of the Focusing Theorem via MALL Proof Nets 1-gen-2022 Maieli, Roberto
Bipolar Proof Nets for MALL 1-gen-2012 Maieli, Roberto
Construction of Bipolar Focussing Proof Structures 1-gen-2013 Maieli, Roberto
Construction of retractile proof structures 1-gen-2014 Maieli, Roberto
Contractible Proof Structures 1-gen-2013 Maieli, Roberto
Cut Elimination for Monomial MALL Proof Nets 1-gen-2008 Maieli, Roberto; Laurent, Olivier
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic 1-gen-2008 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
Focalizzazione delle prove in logica non-commutativa 1-gen-2000 Maieli, Roberto
Focusing and proof-nets in linear and non commutative logic 1-gen-1999 Maieli, Roberto; J. M., Andreoli
Generalized connectives for multiplicative linear logic 1-gen-2020 Acclavio, M.; Maieli, R.
Interactive correctness criterion for multiplicative-additive proof-nets 1-gen-2006 Maieli, Roberto; Ruet, Paul
Modularity of proof nets: generating the type of a module 1-gen-2005 Maieli, Roberto; Quintijn, Puite
Non decomposable connectives of linear logic 1-gen-2019 Maieli, Roberto
Non-commutative logic III : focusing proofs 1-gen-2003 Maieli, Roberto; Ruet, Paul
Non-commutative proof construction: a constraint-based approach 1-gen-2006 Maieli, Roberto; ANDREOLI Jean, Marc; Ruet, Paul
Probabilistic logic programming with multiplicative modules 1-gen-2021 Maieli, R.
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus 1-gen-2019 Maieli, Roberto; Abrusci, Vito Michele