Advanced search Recent papers Author index Keyword index Browse by series Help Desk About

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
References

Hits 1 to 1 of 1

Reformat results as: short   short into frame   detailed   detailed into frame  

_id cdea
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
last changed 2003/06/02 10:24

No more hits.

HOMELOGIN (you are user _anon_915685 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002