𝔖 Bobbio Scriptorium
✦   LIBER   ✦

PREDICTABLY COMPUTABLE FUNCTIONALS AND DEFINITION BY RECURSION

✍ Scribed by D. L. Kreider; R. W. Ritchie


Publisher
John Wiley and Sons
Year
1964
Tongue
English
Weight
1015 KB
Volume
10
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Analog computers and recursive functions
✍ Daniel Silva GraΓ§a; JosΓ© FΓ©lix Costa πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 235 KB

In this paper we show that Shannon's general purpose analog computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleene's classical recursive function theory. We first consider the GPAC and several of its extensions to show that all these mod

Predicting and monitoring colitis develo
✍ Maria Fritsch Fredin; Leif Hultin; Gina Hyberg; Erika RehnstrΓΆm; Elisabeth Hultg πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 724 KB

## Background: Computed tomography (ct) has been developed as a tool for monitoring human inflammatory bowel disease (ibd). the aim of this study was to evaluate colon wall thickness as a noninvasive marker in the dextran sodium sulfate (dss) mouse model of colitis using micro-ct. ## Methods: Mic