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

Weitere Verfasser: “… Schuster, Peter Michael 1966- …”

Volltext