Characterizations of semicomputable sets of real numbers
type: Item
instance of: scholarly article
title: Characterizations of semicomputable sets of real numbers
zbMATH Open document ID: 1307.68028
author: Bo Xie
author: Ming Quan Fu
author: Jeffery Zucker
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2014-12-03T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03D78
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6376575
zbMATH Keywords: computability on reals
zbMATH Keywords: computability on topological algebras
zbMATH Keywords: Engeler's lemma
zbMATH Keywords: semicomputable sets of reals
MaRDI profile type: Publication
full work available at URL: j.jlap.2013.11.001
OpenAlex ID: W2014332513
cites work: Q4001895
cites work: Q5538913
cites work: Q5816908
cites work: Q3996192
cites work: Q5812175
cites work: Q3994907
cites work: Q5731904
cites work: Q4115333
cites work: Q4003336
cites work: Q4934287
cites work: Concrete models of computation for topological algebras
cites work: Computation by `While' programs on topological partial algebras
cites work: Abstract versus concrete computation on metric partial algebras
cites work: Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
cites work: Continuity of operators on continuous and discrete time streams
cites work: Q4392286
cites work: Q4485693
DOI: 10.1016/J.JLAP.2013.11.001
description: scientific article; zbMATH DE number 6376575