MAGGESI, MARCO

MAGGESI, MARCO  

Matematica e Informatica 'Ulisse Dini'  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.054 secondi).
Titolo Data di pubblicazione Autore(i) File
A certified proof of the Cartan Fixed Point Theorems 2011 Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
A formal proof of modal completeness for provability logic 2021 Marco Maggesi; Cosimo Perini Brogi
A formalisation of metric spaces in HOL Light 2015 Marco, Maggesi
A Formalization of Metric Spaces in HOL Light 2018 Marco Maggesi
A symbolic approach to abstract algebra in HOL Light 2015 Marco, Maggesi
Analysing Collective Adaptive Systems by Proving Theorems 2025 Perini Brogi, Cosimo; Maggesi, Marco
Bicategories in Univalent Foundations 2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Bicategories in univalent foundations 2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
Blockchain, criptovalute e contratti intelligenti 2023 Marco Maggesi; Gianni Ciolli
Extension and tangential CRF conditions in quaternionic analysis 2020 Marco Maggesi, Donato Pertici, Giuseppe Tomassini
Favorire la diffusione di WIMS in Italia 2007 Maggesi, Marco
Formalization of metric spaces in HOL Light 2014 Marco Maggesi
Formalization of Quaternionic Calculus in HOL Light 2014 Marco Maggesi
Formalizing basic quaternionic analysis 2017 Andrea Gabrielli; Marco Maggesi
High-level signatures and initial semantics 2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Higher-order theories 2007 André, Hirschowitz; Marco, Maggesi
Information technology implications for mathematics: a view from the French riviera 2004 Marco, Maggesi; Carlos, Simpson
Initial Semantics for Strengthened Signatures 2012 André Hirschowitz; Maggesi Marco
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System 2020 Marco Maggesi; Massimo Nocentini
Matematica, l'esplosione continua ... 2015 Marco, Maggesi