On algebraic hierarchies in mathematical repository of Mizar.

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller

Browse the full FedCSIS paper archive.