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 (Paperback, 1st ed. 2020)
Loot Price: R4,980
Discovery Miles 49 800
|
|
Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Paperback, 1st ed. 2020)
Series: Trends in Logic, 53
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R5,000
Discovery Miles: 50 000
|
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!
|
You might also like..
|