A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

Gabriele Buriola, Peter Schuster, Ingo Blechschmidt

Browse the full CiE paper archive.