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]

Possibly Related Publications

The following publications are possibly variants of this publication: