Overview: Introduces readers to a highly active branch of combinatorics.Unifies interdisciplinary areas between logic, mathematics and computer science.Highlights relevant work by top scholars from various fiel.This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathem
|