Roberto Maieli

17 papers A* 1B 4C 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations.
CoRR
Matteo Acclavio, Roberto Maieli
2023 — conf
Logic Programming with Multiplicative Structures.
DCM
Matteo Acclavio, Roberto Maieli
2022 C conf
A Proof of the Focusing Theorem via MALL Proof Nets.
WoLLIC
Roberto Maieli
2020 B conf
Generalized Connectives for Multiplicative Linear Logic.
CSL
Matteo Acclavio, Roberto Maieli
2019 J jnl
Non decomposable connectives of linear logic.
Ann. Pure Appl. Log.
Roberto Maieli
2019 J jnl
Proof nets for multiplicative cyclic linear logic and Lambek calculus.
Math. Struct. Comput. Sci.
V. Michele Abrusci, Roberto Maieli
2015 C conf
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.
WoLLIC
Vito Michele Abrusci, Roberto Maieli
2015 B conf
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.
FG
Vito Michele Abrusci, Roberto Maieli
2014 — conf
Construction of Retractile Proof Structures.
RTA-TLCA
Roberto Maieli
2012 J jnl
Bipolar Proof Nets for MALL
CoRR
Roberto Maieli
2008 A* conf
Cut Elimination for Monomial MALL Proof Nets.
LICS
Olivier Laurent, Roberto Maieli
2007 B conf
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.
LPAR
Roberto Maieli
2006 J jnl
Non-commutative proof construction: A constraint-based approach.
Ann. Pure Appl. Log.
Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
2005 J jnl
Modularity of proof-nets.
Arch. Math. Log.
Roberto Maieli, Quintijn Puite
2003 J jnl
A new correctness criterion for multiplicative non-commutative proof nets.
Arch. Math. Log.
Roberto Maieli
2003 J jnl
Non-commutative logic III: focusing proofs.
Inf. Comput.
Roberto Maieli, Paul Ruet
1999 B conf
Fucusing and Proof-Nets in Linear and Non-commutative Logic.
LPAR
Jean-Marc Andreoli, Roberto Maieli