×

Found 21 Documents (Results 1–21)

Noetherian quasi-Polish spaces. (English) Zbl 1434.03120

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the difference hierarchy in countably based \(T_{0}\)-spaces. (English) Zbl 1262.03092

Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 257-269 (2008).
PDFBibTeX XMLCite
Full Text: DOI

An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract). (English) Zbl 1262.03147

Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 231-242 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Specker’s theorem, cluster points, and computable quantum functions. (English) Zbl 1107.03052

Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 134-159 (2006).
PDFBibTeX XMLCite

Effectiveness of the global modulus of continuity on metric spaces. (English) Zbl 0901.54021

Moggi, Eugenio (ed.) et al., Category theory and computer science. 7th international conference, CTCS ’97, Santa Margherita Ligure, Italy, September 4–6, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1290, 210-219 (1997).
MSC:  54E35 54C05 03F60 68Q05 54E45
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Software