Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
scientific article; zbMATH DE number 2136934
scientific article