Preview Citation

Download

Grabowski, A. (2014). Formalization of Generalized Almost Distributive Lattices, Formalized Mathematics, 22(3), 257-267. doi: https://doi.org/10.2478/forma-2014-0026