Concepedia
Duke Mathematical Journal · 1940 · 49 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsStructural ComplexityDistributive LatticesFree Algebras