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