Ordinal Computability

Ordinal Computability
Author: Merlin Carl
Publisher: Walter de Gruyter GmbH & Co KG
Total Pages: 343
Release: 2019-09-23
Genre: Mathematics
ISBN: 3110496151

Download Ordinal Computability Book in PDF, Epub and Kindle

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.


Ordinal Computability
Language: en
Pages: 343
Authors: Merlin Carl
Categories: Mathematics
Type: BOOK - Published: 2019-09-23 - Publisher: Walter de Gruyter GmbH & Co KG

GET EBOOK

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite wo
Beyond the Horizon of Computability
Language: en
Pages: 379
Authors: Marcella Anselmo
Categories: Computers
Type: BOOK - Published: 2020-06-23 - Publisher: Springer Nature

GET EBOOK

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
Computation and Logic in the Real World
Language: en
Pages: 843
Authors: Barry S. Cooper
Categories: Computers
Type: BOOK - Published: 2007-07-25 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007.
The Nature of Computation: Logic, Algorithms, Applications
Language: en
Pages: 462
Authors: Paola Bonizzoni
Categories: Computers
Type: BOOK - Published: 2013-06-03 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised pa
Connecting with Computability
Language: en
Pages: 506
Authors: Liesbeth De Mol
Categories: Computers
Type: BOOK - Published: 2021-07-01 - Publisher: Springer Nature

GET EBOOK

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 COV