Bayesian Proof Nets
- Data pubblicazione:
- 2025
- Autori:
- Maieli, Roberto
Ritratto
Roberto Maieli
Professore Associato
Matematica e Fisica
Profili accademici
Contatti e modalità di ricevimento
Recapiti
Sede e ricevimento
Università degli Studi Roma Tre
Dipartimento di Matematica e Fisica
Via della Vasca Navale 84
Corsi attivi e insegnamenti erogati
Pubblicazioni recenti
-
Contributo in Atti di convegno -
Contributo in Atti di convegno Logic Programming with Multiplicative Structures
- Data pubblicazione:
- 2024
- Autori:
- Acclavio, Matteo; Maieli, Roberto
-
Contributo in Atti di convegno A Proof of the Focusing Theorem via MALL Proof Nets
- Data pubblicazione:
- 2022
- Autori:
- Maieli, Roberto
-
Contributo in Atti di convegno Probabilistic logic programming with multiplicative modules
- Data pubblicazione:
- 2021
- Autori:
- Maieli, R.
-
Contributo in Atti di convegno Generalized connectives for multiplicative linear logic
- Data pubblicazione:
- 2020
- Autori:
- Acclavio, M.; Maieli, R.
-
Articolo in rivista Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus
- Data pubblicazione:
- 2019
- Autori:
- Maieli, Roberto; Abrusci, Vito Michele