SAN MAURO, LUCA FRANCESCO
SAN MAURO, LUCA FRANCESCO
DIPARTIMENTO DI RICERCA E INNOVAZIONE UMANISTICA
At least one black sheep: Pragmatics and mathematical language
2020-01-01 Ruffino, M.; San Mauro, L.; Venturi, G.
Bi-embeddability spectra and bases of spectra
2019-01-01 Fokina, E.; Rossegger, D.; San Mauro, L.
Calculating the Mind Change Complexity of Learning Algebraic Structures
2022-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
Church-Turing Thesis, in Practice
2018-01-01 San Mauro, L.
Classifying equivalence relations in the Ershov hierarchy
2020-01-01 Bazhenov, N.; Mustafa, M.; San Mauro, L.; Sorbi, A.; Yamaleev, M.
Classifying word problems of finitely generated algebras via computable reducibility
2023-01-01 Delle Rose, V.; San Mauro, L.; Sorbi, A.
Computability theory as a philosophical achievement
2022-01-01 Plebani, M.; San Mauro, L.
Computable Bi-Embeddable Categoricity
2018-01-01 Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L.
Degrees of bi-embeddable categoricity
2021-01-01 Bazhenov, N.; Fokina, E.; Rossegger, D.; San Mauro, L.
Degrees of bi-embeddable categoricity of equivalence structures
2019-01-01 Bazhenov, N.; Fokina, E.; Rossegger, D.; San Mauro, L.
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy
2023-01-01 Bazhenov, N.; Mustafa, M.; Ospichev, S.; San Mauro, L.
How to make (mathematical) assertions with directives
2023-01-01 Caponetto, L.; San Mauro, L.; Venturi, G.
Investigating the computable Friedman-Stanley jump
2023-01-01 Andrews, U. R. I.; San Mauro, L. U. C. A.
Learning algebraic structures with the help of Borel equivalence relations
2023-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
Learning families of algebraic structures from informant
2020-01-01 Bazhenov, N.; Fokina, E.; San Mauro, L.
Measuring the complexity of reductions between equivalence relations
2019-01-01 Fokina, E.; Rossegger, D.; San Mauro, L.
Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies
2020-01-01 Bazhenov, N. A.; Mustafa, M.; San Mauro, L.; Yamaleev, M. M.
Naturalness in Mathematics
2015-01-01 San Mauro, L.; Venturi, G.
On Computational Problems for Infinite Argumentation Frameworks: Classifying Complexity via Computability
2024-01-01 Andrews, Uri.; San Mauro, L.
On logicality and natural logic
2021-01-01 Pistoia-Reda, S.; San Mauro, L.