Lavalle Martínez, José de Jesús, Benemérita Universidad Autónoma de Puebla, Mexico
-
Vol 27, No 1 (2023): 27(1) 2023 - Articles of the Thematic Section (2)
Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions
Abstract PDF
ISSN: 2007-9737