Well-Quasi Orders in Computation, Logic, Language and Reasoning Peter M. Schuste
Titel: Well-Quasi Orders in Computation, Logic, Language and Reasoning, Untertitel: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory, Einband: Buch, Autor: Peter M. Schuster, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 404, Maße: 241x160x28 mm, Gewicht: 770 g, Verkäufer: buch-mimpf, Schlagworte: Analytic Combinatorics Constructive Mathematics Graph-minor Theorem Kriz's Theorem Maximal Order Type Ordinal Notation System Termination Proofs Theorem Proving and Verification Well Quasi-order braid groups combinatorics commutative algebra computational content of classical proofs descriptive set theory discrete mathematics graph theory proof theory reverse mathematics subrecursive hierarchies theory of relations.
Jetzt bei Ebay:
