Constructive aspects of Noetherian rings