|
Showing 1 - 3 of
3 matches in All Departments
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.
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, Proceedings (Paperback, 1st ed. 2021)
Liesbeth de Mol, Andreas Weiermann, Florin Manea, David Fernandez-Duque
|
R1,632
Discovery Miles 16 320
|
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.
|
|