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

On Modal Logics of Partial Recursive Functions

โœ Scribed by Pavel Naumov


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
193 KB
Volume
81
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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