Saouter, Yannick; Le Verge, Hervé Computability of affine non-conditional recurrent systems. (English) Zbl 1002.68001 Inf. Process. Lett. 69, No. 6, 291-295 (1999). MSC: 68M07 PDFBibTeX XMLCite \textit{Y. Saouter} and \textit{H. Le Verge}, Inf. Process. Lett. 69, No. 6, 291--295 (1999; Zbl 1002.68001) Full Text: DOI
Le Verge, Herve; Saouter, Yannick New results on computability of recurrence equations. (English) Zbl 1319.68086 Int. J. Found. Comput. Sci. 9, No. 3, 249-275 (1998). MSC: 68Q05 03D35 37B20 68M07 68Q10 68W10 68W15 PDFBibTeX XMLCite \textit{H. Le Verge} and \textit{Y. Saouter}, Int. J. Found. Comput. Sci. 9, No. 3, 249--275 (1998; Zbl 1319.68086) Full Text: DOI