Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive

By Peter M. Schuster

Book 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 fields

• Format: Paperback
• Language: English
• ISBN: 3030302318
• ISBN13: 9783030302313
• Release Date: August 2021
• Publisher: Springer
• Length: 391 Pages
• Weight: 1.24 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"