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 |