|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 9 van 13 gevonden artikelen
| Titel: |
Recursive Analysis Characterized as a Class of Real Recursive Functions |
| Auteur: |
Bournez, Olivier Hainry, Emmanuel |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 74 (2006) nr. 4 pagina's 409-433 |
| Jaar: |
2006-12-12 |
| Inhoud: |
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive analysis. In a different and orthogonal work, we proposed a minimalization schema that allows to provide a class of real recursive functions that corresponds to extensions of computable functions over the integers. Mixing the two approaches we prove that computable functions over the real numbers in the sense of recursive analysis can be characterized as the smallest class of functions that contains some basic functions, and closed by composition, linear integration, minimalization and limit schema. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 9 van 13 gevonden artikelen
| << vorige | volgende >> |