A combinatorial bound for a restricted form of the Termination Theorem
Title | A combinatorial bound for a restricted form of the Termination Theorem |
Publication Type | Book Chapter |
Year of Publication | In Press |
Authors | Steila, S |
Editor | Schuster, P, Seisenberger, M, Weiermann, A |
Book Title | A unifying concept of proof theory, automata theory, formal languages and descriptive set theory |
Publisher | Springer |