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.

Authors

Hervé Le Verge

This author has not been identified. Look up 'Hervé Le Verge' in Google

Yannick Saouter

This author has not been identified. Look up 'Yannick Saouter' in Google