Μ-recursive function

Known as: Partial recursive function, Recursive function, M-recursive function

In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

Frequency hopping (FH) sequences play a key role in frequency hopping spread spectrum communication systems. In order to evaluate…

2003

The large number of parameters in subset vector autoregressive models often leads one to procure fast, simple, and efficient…

2001

Using the bicomplex approach we derive the equations of motion for the sine–Gordon system in a two–dimensional noncommutative…

1993

Different classes of recursive queries in the relational databases are identified. It is shown that existing proposals to extend…

1990

A model for automated manufacturing suited for achieving fault-tolerant production is presented. It is shown that the configuring…

1988

In this paper, we present results on the classification of linear recursive formulas in deductive databases and apply those…

1983

This paper is concerned with the construction of de Bruijn sequences of span n --binary sequences of period 2^{n} in which every…

1978

Recursion-theoretic proofs of metamathematical results tend to rely on a pair of effectively inseparable r.e. sets and its…

1977

A class of discrete-time detection problems is formulated and a general recursive formula for the likelihood ratio is obtained…

1976

There are essentially two results described in this paper. First, it is shown that for any random access machine (RAM) time…