Atsushi Yoshikawa, Mariko Yasugi. Computable Versions of Basic Theorems in Functional Analysis. In Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch, editors, CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Volume 326-7/2005 of Informatik Berichte, pages 378, FernUniversität Hagen, Germany, 2005.
@inproceedings{YoshikawaY05,
title = {Computable Versions of Basic Theorems in Functional Analysis},
author = {Atsushi Yoshikawa and Mariko Yasugi},
year = {2005},
tags = {analysis},
researchr = {https://researchr.org/publication/YoshikawaY05},
cites = {0},
citedby = {0},
pages = {378},
booktitle = {CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
editor = {Tanja Grubba and Peter Hertling and Hideki Tsuiki and Klaus Weihrauch},
volume = {326-7/2005},
series = {Informatik Berichte},
publisher = {FernUniversität Hagen, Germany},
}