scientific article

From MaRDI portal

Publication:3748274

Jump to:navigation, search

zbMath0608.03015MaRDI QIDQ3748274

Stephen C. Kleene

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithm computation oracle recursiveness recursion theorem functionals of finite type substitution theorem higher type recursion unimonotonicity

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (5)

Fuzzy neural networks ⋮ Unnamed Item ⋮ Regular expressions and the equivalence of programs ⋮ A game-semantic model of computation ⋮ Solvable classes of discrete dynamic programming

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3748274&oldid=17275978"