Perini Brogi, Cosimo

Perini Brogi, Cosimo  

Lettere e Filosofia  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.013 secondi).
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
Growing HOLMS, a HOL Light Library for Modal Systems 2025 Antonella Bilotta, Marco Maggesi1, Cosimo Perini Brogi, Leonardo Quartini
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