Linzi, A. (2025). L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL.
Citazione stile Chigago Style (17a edizione)Linzi, Alessandro. L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL. 2025.
Citatione MLA (9a ed.)Linzi, Alessandro. L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.