A Constructive Picture of Noetherian Conditions and Well Quasi-orders - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabriele Buriola, Peter Schuster 0001, Ingo Blechschmidt. A Constructive Picture of Noetherian Conditions and Well Quasi-orders. In Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors, Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Volume 13967 of Lecture Notes in Computer Science, pages 50-62, Springer, 2023. [doi]

This author has not been identified. Look up 'Gabriele Buriola' in GoogleThis author has not been identified. Look up 'Peter Schuster 0001' in GoogleThis author has not been identified. Look up 'Ingo Blechschmidt' in Google

runs on WebDSL