Gå direkt till innehållet
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Spara

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

Lägsta pris på PriceRunner

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

Undertitel
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Upplaga
2020 ed.
ISBN
9783030302313
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2021-08-26
Sidor
391