New Results on Computability of Recurrence Equations

Hervé Le Verge, Yannick Saouter. New Results on Computability of Recurrence Equations. Int. J. Found. Comput. Sci., 9(3):249-276, 1998.

Abstract

Abstract is missing.