MAIELI, ROBERTO
MAIELI, ROBERTO
Dipartimento di Matematica e Fisica
A new correctness criterion for multiplicative non commutative proof-nets
2003-01-01 Maieli, Roberto
A Proof of the Focusing Theorem via MALL Proof Nets
2022-01-01 Maieli, Roberto
Bipolar Proof Nets for MALL
2012-01-01 Maieli, Roberto
Construction of Bipolar Focussing Proof Structures
2013-01-01 Maieli, Roberto
Construction of retractile proof structures
2014-01-01 Maieli, Roberto
Contractible Proof Structures
2013-01-01 Maieli, Roberto
Cut Elimination for Monomial MALL Proof Nets
2008-01-01 Maieli, Roberto; Laurent, Olivier
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
2008-01-01 Maieli, Roberto
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
2015-01-01 Abrusci, Vito Michele; Maieli, Roberto
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
2016-01-01 Abrusci, Vito Michele; Maieli, Roberto
Focalizzazione delle prove in logica non-commutativa
2000-01-01 Maieli, Roberto
Focusing and proof-nets in linear and non commutative logic
1999-01-01 Maieli, Roberto; J. M., Andreoli
Generalized connectives for multiplicative linear logic
2020-01-01 Acclavio, M.; Maieli, R.
Interactive correctness criterion for multiplicative-additive proof-nets
2006-01-01 Maieli, Roberto; Ruet, Paul
Modularity of proof nets: generating the type of a module
2005-01-01 Maieli, Roberto; Quintijn, Puite
Non decomposable connectives of linear logic
2019-01-01 Maieli, Roberto
Non-commutative logic III : focusing proofs
2003-01-01 Maieli, Roberto; Ruet, Paul
Non-commutative proof construction: a constraint-based approach
2006-01-01 Maieli, Roberto; ANDREOLI Jean, Marc; Ruet, Paul
Probabilistic logic programming with multiplicative modules
2021-01-01 Maieli, R.
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus
2019-01-01 Maieli, Roberto; Abrusci, Vito Michele