
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.
- Undertittel
- A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
- Opplag
- 2020 ed.
- ISBN
- 9783030302283
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 3.1.2020
- Antall sider
- 391
