Perini Brogi, Cosimo

Perini Brogi, Cosimo  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Proof of Modal Completeness for Provability Logic 1-gen-2021 Maggesi, Marco; Perini Brogi, Cosimo
Analysing Collective Adaptive Systems by Proving Theorems 1-gen-2024 Perini Brogi, Cosimo; Maggesi, Marco
Archimede logica : l'enigma del compleanno 1-gen-2020 Perini Brogi, Cosimo
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 1-gen-2021 Perini Brogi, C.
Investigations of proof theory and automated reasoning for non-classical logics 1-gen-2022 Perini Brogi, Cosimo
La matematica delle dimostrazioni 1-gen-2022 Perini Brogi, Cosimo
Machine Translation: Early Criticisms Revisited 1-gen-2024 Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan
Mechanising Gödel–Löb Provability Logic in HOL Light 1-gen-2023 Maggesi, Marco; Perini Brogi, Cosimo
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 1-gen-2024 Maggesi, Marco; Perini Brogi, Cosimo
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 1-gen-2024 Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar
Systems Security Modeling and Analysis at IMT Lucca 1-gen-2024 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols 1-gen-2024 Costa, Gabriele; Perini Brogi, Cosimo