Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Hardcover, 1st ed. 2020)
Loot Price: R5,316
Discovery Miles 53 160
|
|
Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Hardcover, 1st ed. 2020)
Series: Trends in Logic, 53
Expected to ship within 10 - 15 working days
|
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
mathematics and subrecursive hierarchies. As a unifying concept for
slick finiteness or termination proofs, wqos have been rediscovered
in diverse contexts, and proven to be extremely useful in computer
science. The book introduces readers to the many facets of, and
recent developments in, wqos through chapters contributed by
scholars from various fields. As such, it offers a valuable asset
for logicians, mathematicians and computer scientists, as well as
scholars and students.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.