Florent Domenach. CryptoLat - a Pedagogical Software on Lattice Cryptomorphisms and Lattice Properties. In Manuel Ojeda-Aciego, Jan Outrata, editors, Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, October 15-18, 2013. Volume 1062 of CEUR Workshop Proceedings, pages 93-103, CEUR-WS.org, 2013. [doi]
Abstract is missing.