Items where authors include "Krombholz, M"

Book Section

Krombholz, M and Rathjen, M (2020) Upper Bounds on the Graph Minor Theorem. In: Schuster, P, Seisenberger, M and Weiermann, A, (eds.) Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. Springer International Publishing , pp. 145-159. ISBN 978-3030302283

Proceedings Paper

Krombholz, M and Rathjen, M (2020) Upper Bounds on the Graph Minor Theorem. In: Schuster, P, Seisenberger, M and Weiermann, A, (eds.) Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory. Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031), 17-22 Jan 2016, Dagstuhl, Germany. Trends in Logic, 53 . Springer , pp. 145-160. ISBN 978-3-030-30228-3