Concrete models of computation for topological algebras
type: Item
instance of: scholarly article
title: Concrete models of computation for topological algebras
zbMATH Open document ID: 0916.68047
DOI: 10.1016/S0304-3975(98)00296-5
author: Viggo Stoltenberg-Hansen
author: John V. Tucker
published in: Theoretical Computer Science
publication date: 1999-06-21T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 1306140
zbMATH Keywords: model of computation
zbMATH Keywords: topological algebra
MaRDI profile type: Publication
cites work: Q4843177
cites work: Total sets and objects in domain theory
cites work: Domain representability of metric spaces
cites work: On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
cites work: Recursive characterization of computable real-valued functions and relations
cites work: Q5737081
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Domain theory and integration
cites work: Q3671137
cites work: Computable functionals
cites work: On the definitions of computable real continuous functions
cites work: Theory of representations
cites work: Computable Fields and Arithmetically Definable Ordered Fields
cites work: Q3226754
cites work: A note on computable real fields
cites work: Recursive metric spaces
cites work: Q4863248
cites work: Domain interpretations of Martin-Löf's partial type theory
cites work: Computability and Noncomputability in Classical Analysis
cites work: Computability in Analysis and Physics
cites work: Q4023580
cites work: Complete local rings as domains
cites work: Algebraic and fixed point equations over inverse limits of algebras
cites work: Q4857386
cites work: Q4039815
cites work: Computation by `While' programs on topological partial algebras
cites work: Q3751553
cites work: Embedding metric spaces into CPO's
full work available at URL: s0304-3975(98)00296-5
OpenAlex ID: W2048858227
description: scientific article; zbMATH DE number 1306140