Perini Brogi, Cosimo
Perini Brogi, Cosimo
Lettere e Filosofia
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.004 secondi).
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
Analysing Collective Adaptive Systems by Proving Theorems
2025 Perini Brogi, Cosimo; Maggesi, Marco
Mechanising Godel-Lob Provability Logic in HOL Light
2023 Maggesi, M; Perini Brogi, Cosimo
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024 marco maggesi; cosimo perini brogi
Universal Algebra in UniMath
2021 Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi
Universal Algebra in UniMath
2024 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020
2020 Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A formal proof of modal completeness for provability logic | 2021 | Marco Maggesi; Cosimo Perini Brogi | |
Analysing Collective Adaptive Systems by Proving Theorems | 2025 | Perini Brogi, Cosimo; Maggesi, Marco | |
Mechanising Godel-Lob Provability Logic in HOL Light | 2023 | Maggesi, M; Perini Brogi, Cosimo | |
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 2024 | marco maggesi; cosimo perini brogi | |
Universal Algebra in UniMath | 2021 | Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi | |
Universal Algebra in UniMath | 2024 | Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi | |
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 | 2020 | Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi |