0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal... 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)
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
R4,601 Discovery Miles 46 010 Ships in 12 - 17 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.

Well-Quasi Orders in Computation, Logic, Language and Reasoning - A Unifying Concept of Proof Theory, Automata Theory, Formal... 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)
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
R4,980 Discovery Miles 49 800 Ships in 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.

Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021,... Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings (Paperback, 1st ed. 2021)
Liesbeth de Mol, Andreas Weiermann, Florin Manea, David Fernandez-Duque
R1,538 Discovery Miles 15 380 Ships in 10 - 15 working days

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2021 had as its motto Connecting with Computability, a clear acknowledgement of the connecting and interdisciplinary nature of the conference series which is all the more important in a time where people are more than ever disconnected from one another due to the COVID-19 pandemic.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Zap! Kawaii Rock Painting Kit
Kit R250 R119 Discovery Miles 1 190
Huntlea Koletto - Matlow Pet Bed…
R969 R562 Discovery Miles 5 620
Cable Guys Controller and Smartphone…
R399 R359 Discovery Miles 3 590
Energizer Max D 4 Pack
R166 Discovery Miles 1 660
Colleen Pencil Crayons - Assorted…
 (1)
R201 Discovery Miles 2 010
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Tenet
John David Washington, Robert Pattinson, … DVD  (1)
R51 Discovery Miles 510
Womens 2-Piece Fitness Gym Gloves…
R129 Discovery Miles 1 290
Fly Repellent ShooAway (White)(4 Pack)
R1,396 R1,076 Discovery Miles 10 760

 

Partners