Buscar
Mostrando ítems 1-10 de 602
Sobre el concepto de recursión y sus usos.
(2015-06-30)
La noción de recursión se emplea en diferentes sentidos, adquiriendo
una variedad de significados. Así, en unos casos se usa para caracterizar
una regla esencial que constituye un modo de definición en un sistema.
Este ...
Estudo e implementação de um analisador de harmônicos variantes no tempo
(Universidade Federal de Juiz de Fora (UFJF)BrasilFaculdade de EngenhariaPrograma de Pós-graduação em Engenharia ElétricaUFJF, 2017)
Reasoning about functional programs by combining interactive and automatic proofs
(UR.FI., 2015)
We propose a new approach to computer-assisted verification of lazy
functional programs where functions can be defined by general
recursion. We work in first-order theories of functional programs
which are obtained by ...
Recursive function theory applied to the logical system elementar arythmeticAplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar
(Universidade Federal de Santa Maria, 1984)
Linearizability of n-linear Sirups
(Revista Computación y Sistemas; Vol. 2 No. 1, 1998-09-17)
Abstract
A linear program is easier to evaluate than a nonlinear programo Hence, given a recursive program, it is desirable to find an equivalent linear programo However, not all nonlinear programs are linearizable. ...