Gå direkte til innholdet
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Spar

Well-Quasi Orders in Computation, Logic, Language and Reasoning

innbundet, 2020
Engelsk

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