Go to main content

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
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

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