Results 1 to 10 of about 21,944 (260)
Relatively recursive reals and real functions [PDF]
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chun-Kuen Ho
exaly +4 more sources
Beyond Recursive Real Functions [PDF]
Information and Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chun-Kuen Ho
exaly +4 more sources
Analog computers and recursive functions over the reals [PDF]
Journal of Complexity, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
JOSÉ Felix Costa
exaly +4 more sources
A comparison of identification criteria for inductive inference of recursive real-valued functions [PDF]
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Setsuo Arikawa, Eiju Hirowatari
exaly +4 more sources
Real Recursive Functions and Real Extensions of Recursive Functions [PDF]
Lecture Notes in Computer Science, 2005 Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing some basic functions and closed by composition and linear integration.
Olivier Bournez +2 more
exaly +4 more sources
On the inductive inference of recursive real-valued functions
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rusins Freivalds +2 more
exaly +4 more sources
Real recursive functions and their hierarchy
Journal of Complexity, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
JOSÉ Felix Costa
exaly +4 more sources
On positive real transfer functions and the convergence of some recursive schemes [PDF]
IEEE Transactions on Automatic Control, 1977 The convergence with probability one of a recently suggested recursive identification method by Landau is investigated. The positive realness of a certain transfer function is shown to play a crucial role, both for the proof of convergence and for convergence itself.
Lennart Ljung
exaly +4 more sources
Recursive characterization of computable real-valued functions and relations
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vasco Brattka
exaly +4 more sources
Ordinals and recursively defined functions on the reals [PDF]
, 2023 15 pages, 4 ...
Gabriel Nivasch, Lior Shiboli
+5 more sources