Alessandro Linzi

Orcid: 0000-0002-1422-7674

According to our database¹, Alessandro Linzi authored at least 2 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL.

[DOI]

CoRR, September, 2025

2023

Dependence Relations and Grade Fuzzy Set.

[DOI]

Symmetry, February, 2023