Skip to search formSkip to main contentSkip to account menu

Smn theorem

Known as: Parameterization theorem, Parameter theorem, Kleene's s-m-n Theorem 
In computability theory the smn theorem, (also called the translation lemma, parameter theorem, or parameterization theorem) is a basic result about… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
AlgorithmComputable functionCurryingGödel numbering

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Autonomic resource arbitration and service-continuable network function migration along service function chains
Service function (SF) chaining enables network operators and infrastructure providers to flexibly orchestrate virtualized network… 
2015
2015
Cover crop mixtures including legume produce ecosystem services of nitrate capture and green manuring: assessment combining experimentation and modelling
During the fallow period, non-legume cover crop species can capture mineral nitrogen (N) and thus decrease nitrate leaching… 
2014
2014
Improving detection and genetic counseling in carriers of spinal muscular atrophy with two copies of the SMN 1 gene
Spinal muscular atrophy (SMA) is an autosomal recessive disease caused by mutations in the survival motor neuron1 gene (SMN1… 
2013
2013
Robust Wi-Fi location fingerprinting against device diversity based on spatial mean normalization
Received signal strength (RSS) in Wi-Fi networks is commonly employed in indoor positioning systems; however, device diversity is… 
2009
2009
On the accuracy of atmospheric forcing for extra-tropical storm surge prediction
The ability of the SMARA storm surge numerical prediction system to reproduce local effects in estuarine and coastal winds was… 
2004
2004
Effects of nitrification inhibitors and time and rate of slurry and fertilizer N application on silage maize yield and losses to the environment
Field experiments with silage maize during eight years on a sandy soil in The Netherlands, showed that dicyandiamide (DCD… 
2004
2004
Changes in soil mineral nitrogen during and after 3-year and 5-year set-aside and nitrate leaching losses after ploughing out the 5-year plant covers in the UK
The management and effects of 3-year and 5-year set-aside covers on soil mineral nitrogen (SMN, 0.0–0.9 m) were studied at six… 
Highly Cited
2003
Highly Cited
2003
The fate of nitrogen applied to sugarcane by trickle irrigation
Fertigation can be a more efficient means of applying crop nutrients, particularly nitrogen (N), so that nutrient application… 
1998
1998
Integration of nitrate cover crops into sugarbeet (Beta vulgaris) rotations. I. Management and effectiveness of nitrate cover crops
Between 1989 and 1993, 17 experiments tested the effect of cover crop species, sowing date and destruction date on cover crop dry… 
1995
1995
Effective Applicative Structures
An Effective Applicative Structure is a collection of partial functions over an arbitrary set M, indexed by elements of the same… 
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)