Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

by Schuster, Peter M., Seisenberger, Monika and Weiermann, Andreas, ed.by

Published by: Switzerland : Springer International Publishing , 2020