Skip to search formSkip to main contentSkip to account menu

Primitive recursive function

Known as: Primitive recursive, Primitive recursive functions, Primitive recursive fuctions 
In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Ackermann functionAlgorithm characterizationsArithmetical hierarchyBIT predicate

Broader (1)

Recursion

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Simultaneous Low PRF GMTI and HRWS SAR Imaging without Changing the System Operation Mode
In the paper a novel method for reconstruction and parameter estimation of moving target signals acquired with a highresolution… 
2012
2012
A Novel Non-Interpolation Polar Format Algorithm Using Non-Lineal Flight Trajectories and Auto-Adaptive Prf Technique
The classical interpolation-based Polar Format Algorithm (PFA) for spotlight synthetic aperture radar (SAR) results in numerous… 
2010
2010
Multilingual PRF: english lends a helping hand
In this paper, we present a novel approach to Pseudo-Relevance Feedback (PRF) called Multilingual PRF (MultiPRF). The key idea is… 
2007
2007
Short-Term Creep Tests on Phenol-Resorcinol-Formaldehyde (PRF) Resin Undergoing Moisture Content Changes
The objective of the study was to develop an experimental technique that would allow determination of the hygro-mechanical… 
2007
2007
Surface-Embedded Passive RF Exteroception: Kepler, Greed, and Buffon's Needle
Surface-embedded passive radio frequency (PRF) exteroception is a method whereby an action to be executed by a mobile unit is… 
2006
2006
A Pseudo-Random Function (PRF) API Extension for the Generic Security Service Application Program Interface (GSS-API)
This document defines a Pseudo-Random Function (PRF) extension to the Generic Security Service Application Program Interface (GSS… 
2006
2006
Shear strain distribution in PRF and PUR bonded 3–ply wood sheets by means of electronic laser speckle interferometry
The distribution of shear strain across a 3–ply wood sheet bonded with PRF and PUR, respectively, was measured by means of… 
2002
2002
TREC-10 Web Track Experiments at MSRCN
In TREC-10, Microsoft Research China (MSRCN) participated in the Web track (ad hoc retrieval task and homepage finding task). The… 
1972
1972
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata
1969
1969
Uniformly reflexive structures: On the nature of gödelizations and relative computability
In this paper we present an axiomatic theory within which much of the theory of computability can be developed in an abstract… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)