Search results

types of partial recursive functions 1996-09-03 Paper A universal partial recursive function 1992-06-25 Paper Types of resemblance and of recursive isomorphism...

Type Domains of \(t\)-functions 2004-11-15 Paper On resemblance and recursive isomorphism types of bounded partial recursive functions 2000-08-30 Paper On...

Publication Date of Publication Type Extension of partial recursive functions and functions with a recursive graph 1969-01-01 Paper https://portal.mardi4nfdi...

Types of Index Sets of Partial Recursive Functions 1966-01-01 Paper On Creative Sets and Indices of Partial Recursive Functions 1965-01-01 Paper Axiomatization...

2010-09-14 Paper Partial and nested recursive function definitions in higher-order logic 2010-05-26 Paper Partial Recursive Functions in Higher-Order Logic...

Number? 1972-01-01 Paper A recursive function, defined on a compact interval and having a continuous derivative that is not recursive 1971-01-01 Paper https://portal...

https://portal.mardi4nfdi.de/entity/Q5567854 1966-01-01 Paper On the partial recursive functions of ordinal numbers 1964-01-01 Paper https://portal.mardi4nfdi...

2009-07-28 Paper Computation by Prophecy 2009-03-10 Paper A Type of Partial Recursive Functions 2008-12-04 Paper Types for Proofs and Programs 2006-11-13 Paper...

finite number of steps 1955-01-01 Paper Effective operations on partial recursive functions 1955-01-01 Paper On two problems of Kurepa 1954-01-01 Paper Inner...

to regressive functions 1974-01-01 Paper Partial recursive functions and ω-functions 1971-01-01 Paper Countable vector spaces with recursive operations Part...

mardi4nfdi.de/entity/Q3666867 1982-01-01 Paper ON LISP-REALIZATION OF PARTIAL RECURSIVE FUNCTIONS 1979-01-01 Paper ON INFERENCING DYNAMICS OF AUTOMATA FROM FINITE...

equations with jumps involving the value function 2018-01-25 Paper A mean-field stochastic control problem with partial observations 2018-01-04 Paper Mean-field...

projection algorithms 2000-01-01 Paper Model structure incorporated into recursive partial realization strategies 1997-02-28 Paper Restricted geometry, adaptive...

linear model with correlated errors. 2001-01-01 Paper Recursive estimation of regression functions by local polynomial fitting 2000-10-29 Paper Bandwidth...

isomorphism types of recursive Boolean algebras 1981-01-01 Paper Recursive Boolean algebras with recursive atoms 1981-01-01 Paper CO‐Simple Higher‐Order Indecomposable...

de/entity/Q3887446 1980-01-01 Paper The first example of a recursive function which is not primitive recursive 1979-01-01 Paper On topologies generated by Moisil...

2008-01-14 Paper Exponential tail bounds for max-recursive sequences 2007-11-19 Paper On stochastic recursive equations of sum and max type 2007-08-23 Paper...

de/entity/Q4744170 1981-01-01 Paper A stochastic framework for recursive computation of spline functions. II: Smoothing splines 1980-01-01 Paper Vector-valued Lg-splines...

Control 2013-08-13 Paper Recursive Estimation and Time-Series Analysis 2011-09-21 Paper Gauss, Kalman and advances in recursive parameter estimation 2011-07-27...

generalized additive partial linear models 2011-12-08 Paper Estimation and variable selection for semiparametric additive partial linear models 2011-10-21...