TY - CHAP
T1 - A combinatorial bound for a restricted form of the Termination Theorem
T2 - A unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Y1 - In Press
A1 - Silvia Steila
ED - Peter Schuster
ED - Monika Seisenberger
ED - Andreas Weiermann
JF - A unifying concept of proof theory, automata theory, formal languages and descriptive set theory
PB - Springer
ER -