✦ 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
DOI: 10.1007/s11225-005-4646-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Effective operations on partial recursiv

Effective operations on partial recursive functions

✍ J. Myhill; J. C. Shepherdson 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 431 KB

Extension of partial recursive functions

Extension of partial recursive functions and functions with a recursive graph

✍ V. A. Dushskii 📂 Article 📅 1969 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 303 KB

Complexity classes of partial recursive

Complexity classes of partial recursive functions

✍ 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

A category of partial recursive function

A category of partial recursive functions

✍ A. N. Degtev 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 558 KB

On resemblance and isomorphism types of

On resemblance and isomorphism types of partial recursive functions

✍ E. A. Polyakov 📂 Article 📅 1995 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 394 KB

Types of similarity and of recursive iso

✍ E. A. Polyakov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 529 KB