Computer Science Logic
From MaRDI portal
Publication:5394595
DOI10.1007/11538363zbMath1136.03324OpenAlexW2479351976MaRDI QIDQ5394595
Vasco Brattka, Matthias Schröder
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Sequence spaces (including Köthe sequence spaces) (46A45) Applications of computability and recursion theory (03D80) Axiom of choice and related propositions (03E25)
Related Items (5)
Computability of compact operators on computable Banach spaces with bases ⋮ Towards computability of elliptic boundary value problems in variational formulation ⋮ On Computable Compact Operators on Banach Spaces ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Computer Science Logic
