Computable total functions on metric algebras, universal algebraic specifications and dynamical systems-Reference-Cited by-同舟云学术

Computable total functions on metric algebras, universal algebraic specifications and dynamical systems

Published:2005-01 Issue:1 Volume:62 Page:71-108
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Tucker J.V.,Zucker J.I.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference58 articles.

1. Ordinary Differential Equations;Arnold,1973

2. Complexity and Real Computation;Blum,1998

3. Recursive characterisation of computable real-valued functions and relations;Brattka;Theoretical Computer Science,1996

4. V. Brattka, Recursive and computable operations over topological structures, Ph.D. Thesis, FernUniversität Hagen, Fachbereich Informatik, Hagen, Germany, 1999, Informatik Berichte 255, FernUniversität Hagen, July 1999

5. Initial and final algebra semantics for data type specifications: two characterization theorems;Bergstra;SIAM Journal of Computing,1983

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tracking computability of GPAC-generable functions;Journal of Logic and Computation;2020-12-16

2. Tracking Computability of GPAC-Generable Functions;Logical Foundations of Computer Science;2019-12-20

3. Notions of semicomputability in topological algebras over the reals;Computability;2018-12-19

4. Models of computation for partial functions on the reals;Journal of Logical and Algebraic Methods in Programming;2015-03

5. Characterizations of semicomputable sets of real numbers;Journal of Logical and Algebraic Methods in Programming;2015-01