Well-Quasi Orders in Computation, Logic, Language and Reasoning

Peter M. Schuster, Monika Seisenberger, Andreas Weiermann

Well-Quasi Orders in Computation, Logic, Language and Reasoning - Springer Springer 2020

9783030302290

EBOOK