Generating non-Noetherian modules constructively

By Thierry Coquand, H. Lombardi, Claude Quitté. 2004

54 citations recorded by the source corpus.

Subfields: Algebra and Number Theory

View Paper: https://www.semanticscholar.org/paper/37a09d0dc8b1f75425de5f377c525b45fd3e8017