Skip to search formSkip to main contentSkip to account menu

Rice–Shapiro theorem

Known as: Rice shapiro theorem, Rice-Shapiro theorem 
In computability theory, the Rice–Shapiro theorem is a generalization of Rice's theorem, and is named after Henry Gordon Rice and Norman Shapiro.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the… 
2010
2010
Let Γ be a set of computable functions such that the set RΓ is recursively enumerable. We have f ∈ Γ if and only if there exists… 
Highly Cited
2008
Highly Cited
2008
We add the effect of turbulent viscosity via the α-prescription to models of the self-consistent formation and evolution of… 
Highly Cited
2008
Highly Cited
2008
This thesis investigates the formal properties of phonological representation and computation. The starting point of the approach… 
2007
2007
P1B-type heavy-metal ATPases (HMAs) are transmembrane metal-transporting proteins that play a key role in metal homeostasis… 
2003
2003
Friendship is a very important component in human lives, but it is difficult for children with disabilities to make friends with… 
Highly Cited
1999
Highly Cited
1999
Abstract The production of regular and irregular past tense forms was investigated among the members of an English-speaking… 
Highly Cited
1992
Highly Cited
1992
Cereal Chem. 69(5):485-489 The effects of temperature of extraction and fractionation of rice bran significantly lower plasma and… 
Review
1991
Review
1991
SUMMARY Deformation of porous rocks is investigated by experts of various fields. This is probably the reason why poroelastic… 
Review
1989
Review
1989
Through a review of the literature, it was demonstrated that the visual superiority effect is confounded with comprehensibility…