Well-Quasi Orders in Computation, Logic, Language and Reasoning
Produktnummer:
18b3367c15466e4b63a3e2cce308fbd469
Themengebiete: | Combinatorics Descriptive Set Theory Graph-minor Theorem Graph Theory Maximal Order Type Ordinal Notation System Proof Theory Reverse Mathematics Termination Proofs Well Quasi-order |
---|---|
Veröffentlichungsdatum: | 26.08.2021 |
EAN: | 9783030302313 |
Sprache: | Englisch |
Seitenzahl: | 391 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Schuster, Peter M. Seisenberger, Monika Weiermann, Andreas |
Verlag: | Springer International Publishing |
Untertitel: | A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory |
Produktinformationen "Well-Quasi Orders in Computation, Logic, Language and Reasoning"
Introduces readers to a highly active branch of combinatoricsUnifies interdisciplinary areas between logic, mathematics and computer scienceHighlights relevant work by top scholars from various fields

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen