Login / Signup
Seminormal rings (following Thierry Coquand).
Henri Lombardi
Claude Quitté
Published in:
Theor. Comput. Sci. (2008)
Keyphrases
</>
data structure
image retrieval