Concepedia
Publication | Closed Access
Lawvere Completion and Separation Via Closure
39
Citations
8
References
2008
Year
Automated ReasoningSet-theoretic TopologyTopological PropertyUniversal AlgebraLawvere Completion
Page 1