scientific article
From MaRDI portal
Publication:4003236
zbMath0746.03039MaRDI QIDQ4003236
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational structuresiterative combinatory spacesfirst-order computabilityindex-free recursion theory
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (8)
The jump operation for structure degrees ⋮ Categorial generalization of algebraic recursion theory ⋮ Unnamed Item ⋮ Unconventional algorithms: complementarity of axiomatics and construction ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Diagonal fixed points in algebraic recursion theory
This page was built for publication: