Related Books

The Foundations of Computability Theory
Language: en
Pages: 331
Authors: Borut Robič
Categories: Computers
Type: BOOK - Published: 2015-09-14 - Publisher: Springer

DOWNLOAD EBOOK

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte
Computability in Context
Language: en
Pages: 420
Authors: S Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2011-02-25 - Publisher: World Scientific

DOWNLOAD EBOOK

Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable
Automata and Computability
Language: en
Pages: 399
Authors: Dexter C. Kozen
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer

DOWNLOAD EBOOK

These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni versity for many y
Models of Computation in Context
Language: en
Pages: 330
Authors: Benedikt Löwe
Categories: Computers
Type: BOOK - Published: 2011-09-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 re
Higher-Order Computability
Language: en
Pages: 571
Authors: John Longley
Categories: Computers
Type: BOOK - Published: 2015-11-06 - Publisher: Springer

DOWNLOAD EBOOK

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as