๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A category of partial recursive functions

โœ Scribed by A. N. Degtev


Publisher
SP MAIK Nauka/Interperiodica
Year
1981
Tongue
English
Weight
558 KB
Volume
21
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


REDUCIBILITY IN SOME CATEGORIES OF PARTI
โœ Caterina Bianchini; Andrea Sorbi ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 609 KB

## Abstract We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these c

A universal partial recursive function
โœ E. A. Polyakov ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 300 KB
Complexity classes of partial recursive
โœ Edward L. Robertson ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 738 KB

This paper studies possible extensions of the concept of complexity class of recursive functions to partial recursive functions. Many of the well-known results for total complexity classes are shown to have corresponding, though not exactly identical, statements for partial classes. In particular, w