scientific article; zbMATH DE number 1222088
From MaRDI portal
Publication:4217582
zbMath0923.03057MaRDI QIDQ4217582
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)
Related Items (15)
Topological modal logics satisfying finite chain conditions ⋮ A refined model of computation for continuous problems ⋮ Constructing best approximations on a Jordan curve ⋮ A domain-theoretic approach to computability on the real line ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Computability on continuous, lower semi-continuous and upper semi-continuous real functions ⋮ Computability on subsets of Euclidean space. I: Closed and compact subsets ⋮ Computable Banach spaces via domain theory ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Effectiveness of the global modulus of continuity on metric spaces ⋮ Effective properties of sets and functions in metric spaces with computability structure ⋮ Effectively closed sets and graphs of computable real functions. ⋮ Foundation of a computable solid modelling. ⋮ Real functions computable by finite automata using affine representations. ⋮ Extended admissibility.
This page was built for publication:
