Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / Ulrich Berger, Johanna N.Y. Franklin, Florin Manea, Arno Pauly (eds.).
Conference on Computability in Europe (18th : 2022 : Swansea, Wales); Berger, Ulrich, 1956- editor.; Franklin, Johanna N.Y., 1979- editor.; Manea, Florin, editor.; Pauly, Arno, editor.
2022
QA9.59
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / Ulrich Berger, Johanna N.Y. Franklin, Florin Manea, Arno Pauly (eds.).
Meeting Name Conference on Computability in Europe (18th : 2022 : Swansea, Wales)
ISBN 9783031087400 (electronic bk.)
3031087402 (electronic bk.)
9783031087394
3031087399
DOI https://doi.org/10.1007/978-3-031-08740-0
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource : illustrations (some color).
Item Number 10.1007/978-3-031-08740-0 doi
Call Number QA9.59
Dewey Decimal Classification 511.3/52
Summary 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 Godel'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.
Note Conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Berger, Ulrich, 1956- editor.
Franklin, Johanna N.Y., 1979- editor.
Manea, Florin, editor.
Pauly, Arno, editor.
Series Lecture notes in computer science ; 13359.
Available in Other Form Revolutions and revelations in computability.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Bio-computing
Blockchain
Combinatory Logic
Computable Analysis
Computational Complexity
Computability in Mathematics
Computability in Set Theory
Computability Theory
Constructive Mathematics
Cryptography
Foundations of Mathematics
Game Theory
Graph Algorithms
History and Philosophy of Computing
Infinite Time Computation
Learning Theory
Natural Language Processing
Reachability
Reverse Mathematics
Type Theory.

Browse Subjects

Show more subjects...

Statistics

from
to
Export