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

Full text!
Type:
e-book
Titel:
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Auteur:
Schuster, Peter M.; Seisenberger, Monika; Weiermann, Andreas
Taal:
Engels
Uitgever:
Springer International Publishing 2020
ISBN:
3-030-30228-8
3-030-30229-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:4940000000158730