CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
authors Rogers, Hartley Jr.
year 1987
title Theory of Recursive Functions and Effective Computability
source xxi, 482 p. Cambridge, Mass.: the MIT Press, 1987. includes bibliography: p.459-468 and index
summary Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees in particular. A second group of topics has to do with generalizations of recursion theory. The third topics group mentioned is subrecursive computability and subrecursive hierarchies
keywords computation, recursion, theory
series CADline
references Content-type: text/plain
last changed 2003/06/02 08:24
pick and add to favorite papersHOMELOGIN (you are user _anon_732387 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002