Discrete Transfinite Computation Models
Attributed to:
An analysis of Spector Classes associated with quasi-inductive definitions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1142/9781848162778_0012
Publication URI: http://dx.doi.org/10.1142/9781848162778_0012
Type: Book Chapter
Book Title: Computability in Context - Computation and Logic in the Real World (2011)
Page Reference: 371-410
ISBN: 978-1-84816-245-7