Irrational-based computability of functions
irrational-based (IB-) computable real function
scientific article; zbMATH DE number 7615255