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

Group Author: Schuster, Peter M. (Editor); Seisenberger, Monika (Editor); Weiermann, Andreas (Editor)
Published: Springer,
Publication Dates: [2020]
Call Number: O157.1/W447