An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra.

Thomas Powell, Peter Schuster, Franziskus Wiesnet

Browse the full WoLLIC paper archive.