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

J. V. Tucker, Jeffery I. Zucker. Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. Journal of Logic and Algebraic Programming, 62(1):71-108, 2005. [doi]

Abstract

Abstract is missing.