Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Roberto Maieli
Observed names:
MAIELI, ROBERTO,
Maieli R.,
Maieli, Roberto,
Roberto Maieli A
Institution:
Roma Tre University
Observed institutions:
Roma Tre University,
Centre National de la Recherche Scientifique,
University of Sussex,
University of Southern Denmark,
Sapienza University of Rome
ORCID:
0000-0001-9723-7183
Observed ORCID:
0000-0001-9723-7183
OpenAlex ID:
A5048741973
Focusing and Proof-Nets in Linear and Non-commutative Logic
1999
·
Jean-Marc Andreoli
, Roberto Maieli
·
Lecture notes in computer science
·
15
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
2007
·
Roberto Maieli
·
Lecture notes in computer science
·
12
Cut Elimination for Monomial MALL Proof Nets
2008
·
Olivier Laurent
, Roberto Maieli
·
ACM/IEEE Symposium on Logic in Computer Science (LICS)
·
11
Generalized Connectives for Multiplicative Linear Logic
2020
·
Acclavio, Matteo
, Maieli, Roberto
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
10
PDF
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing
2016
·
Vito Michele Abrusci
, Roberto Maieli
·
Lecture notes in computer science
·
7
Modularity of proof-nets
2004
·
Roberto Maieli
, Quintijn Puite
·
Archive for Mathematical Logic
·
7
Non decomposable connectives of linear logic
2019
·
Roberto Maieli
·
Annals of Pure and Applied Logic
·
6
PDF
Non-commutative logic III: focusing proofs
2003
·
Roberto Maieli
, Paul Ruet
·
Information and Computation
·
5
PDF
Logic Programming with Multiplicative Structures
2024
·
Matteo Acclavio
, Roberto Maieli
·
Electronic Proceedings in Theoretical Computer Science
·
4
PDF
A Proof of the Focusing Theorem via MALL Proof Nets
2022
·
Roberto Maieli
·
Lecture notes in computer science
·
4
Proof nets for multiplicative cyclic linear logic and Lambek calculus
2019
·
V. Michele Abrusci
, Roberto Maieli
·
Mathematical Structures in Computer Science
·
4
Construction of Retractile Proof Structures
2014
·
Roberto Maieli
·
Lecture notes in computer science
·
4
A new correctness criterion for multiplicative non-commutative proof nets
2003
·
Roberto Maieli
·
Archive for Mathematical Logic
·
4
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
2015
·
Vito Michele Abrusci
, Roberto Maieli
·
Lecture notes in computer science
·
3
Non-commutative proof construction: A constraint-based approach
2006
·
Jean-Marc Andreoli
, Roberto Maieli
, et al.
·
Annals of Pure and Applied Logic
·
3
Bayesian Proof Nets
2025
·
Roberto Maieli
·
Lecture notes in networks and systems
·
2
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
2007
·
Roberto Maieli
·
2
Focalizzazione delle prove in logica non-commutativa
2000
·
Roberto Maieli
·
OpenGrey (Institut de l'Information Scientifique et Technique)
·
1
Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
2026
·
Acclavio, Matteo
, Maieli, Roberto
·
arXiv (Cornell University)
PDF
Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations
2026
·
Matteo Acclavio
, Roberto Maieli
·
Lecture notes in computer science
Representation of Probabilities and Reasoning by Means of Proofs of Linear Logic
2026
·
Roberto Maieli
·
Studies in computational intelligence
Contractible Proof Structures
2013
·
Roberto Maieli
·
Iris (Roma Tre University)
Construction of Bipolar Focussing Proof Structures
2013
·
Roberto Maieli
·
Iris (Roma Tre University)
Bipolar Proof Nets for MALL
2012
·
Maieli, Roberto
·
arXiv (Cornell University)
PDF
Interactive correctness criterion for multiplicative-additive proof-nets
2006
·
Roberto Maieli
, Paul Ruet
·
Iris (Roma Tre University)
Show more works
View as search
Works count:
36
Citation count:
104
H-index:
6
I10-index:
4
Year
Topic
Type
