Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, Ievgen Ivanov. Formalization of the Algebra of Nominative Data in Mizar. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 237-244, 2017. [doi]
Abstract is missing.