Computably regular topological spaces
type: Item
instance of: scholarly article
title: Computably regular topological spaces
zbMATH Open document ID: 1285.03076
DOI: 10.2168/LMCS-9(3:5)2013
author: Klaus Weihrauch
published in: Logical Methods in Computer Science
publication date: 2013-09-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/1306.4078
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 54D10
Mathematics Subject Classification ID: 54D15
zbMATH DE Number: 6206242
zbMATH Keywords: computable analysis
zbMATH Keywords: computable topology
zbMATH Keywords: separation axioms
MaRDI profile type: Publication
arXiv ID: 1306.4078
description: scientific article; zbMATH DE number 6206242