Tallenna
Well-Quasi Orders in Computation, Logic, Language and Reasoning
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
- Alaotsikko
- A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
- Toimittaja
- Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
- Painos
- 2020 ed.
- ISBN
- 9783030302283
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 3.1.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 391
