Revolutions and Revelations in Computability Revolutions and Revelations in Computability

Revolutions and Revelations in Computability

18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings

Ulrich Berger et autres
    • 54,99 €
    • 54,99 €

Description de l’éditeur

This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.

The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.

GENRE
Informatique et Internet
SORTIE
2022
25 juin
LANGUE
EN
Anglais
LONGUEUR
377
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
57,9
Mo
Computation and Logic in the Real World Computation and Logic in the Real World
2007
Models of Computation in Context Models of Computation in Context
2011
Algebraic Informatics Algebraic Informatics
2022
Developments in Language Theory Developments in Language Theory
2022
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009
The Future of Smart Production for SMEs The Future of Smart Production for SMEs
2022
Kartenzahlungen im Euro-Zahlungsraum Kartenzahlungen im Euro-Zahlungsraum
2007