Iván Molina Rebolledo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Recursive Functions

Inductive Inference

Top Venues

Computación y Sistemas (CyS)

Publications

Axel Suárez Polo, José de Jesús Lavalle-Martínez, Iván Molina Rebolledo
Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions. Computación y Sistemas (CyS) 27 (1) (2023)