Results 31 to 40 of about 86 (62)
A decomposition theorem for modular lattices containing an n-diamond [PDF]
Freese, Ralph S.
core
Tarski's geometry modelled in Mizar computerized proof assistant [PDF]
Adam Grabowski
core +2 more sources
The von Neumann coordinatization theorem for complemented modular lattices [PDF]
Fryer, Kenneth Dudley, Halperin, Israel
core
Density and Combinatorial Structure of Error-Correcting Codes [PDF]
Gruica, Anina
core +2 more sources

