|
Showing 1 - 2 of
2 matches in All Departments
|
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023)
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
|
R1,944
Discovery Miles 19 440
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 19th
International Conference on Unity of Logic and Computation,
CiE 2023, held in Batumi, Georgia, during July 24–28,
2023. The 23 full papers and 13 invited papers included in
this book were carefully reviewed and selected from 51 submissions.
They were organized in topical sections as follows: ​Degree
theory;Â Proof Theory;Â Computability;Â Algorithmic
Randomness;Â Computational Complexity;Â Interactive
proofs; and Combinatorial approaches.
|
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings (Paperback, 1st ed. 2020)
Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
|
R1,596
Discovery Miles 15 960
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 16th Conference on
Computability in Europe, CiE 2020, which was planned to be held in
Fisciano, Italy, during June 29 until July 3, 2020. The conference
moved to a virtual format due to the coronavirus pandemic. The 30
full and 5 short papers presented in this volume were carefully
reviewed and selected from 72 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
2020 had as its motto Beyond the Horizon of Computability,
reflecting the interest of CiE in research transgressing the
traditional boundaries of computability theory.
|
|