# 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 |