scientific article; zbMATH DE number 1390023
From MaRDI portal
Publication:4934288
zbMath0945.03091MaRDI QIDQ4934288
Publication date: 8 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computable realsBanach spacecomputable analysiscomputable real functionscomputable \(L^p\)-functionscomputable sequences of reals
Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Constructive real analysis (26E40) Constructive functional analysis (46S30)
Related Items (3)
Effectiveness in RPL, with applications to continuous logic ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Pure mathematics and physical reality (continuity and computability)
This page was built for publication:
