Perini Brogi, Cosimo

Perini Brogi, Cosimo  

Lettere e Filosofia  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 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
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 2024 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Universal Algebra in UniMath 2021 Gianluca Amato; 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