Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Format:: e-book
Title:: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Author:: Schuster, Peter M.; Seisenberger, Monika; Weiermann, Andreas
Language:: English
Publisher:: Springer International Publishing 2020
ISBN:: 3-030-30228-8
3-030-30229-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:4940000000158730?locale=en