A Compendium of Continuous Lattices in MIZAR - Formalizing recent mathematics (2002)

Cached

Download Links

by Grzegorz Bancerek , Piotr Rudnicki , Robert Milewski , Adam Naumowicz , Yuji Sakai , Bart Lomiej
Citations:4 - 0 self