A combinatorial bound for a restricted form of the Termination Theorem

TitleA combinatorial bound for a restricted form of the Termination Theorem
Publication TypeBook Chapter
Year of PublicationIn Press
AuthorsSteila, S
EditorSchuster, P, Seisenberger, M, Weiermann, A
Book TitleA unifying concept of proof theory, automata theory, formal languages and descriptive set theory
PublisherSpringer