Formalization of the Algebra of Nominative Data in Mizar.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Browse the full FedCSIS paper archive.