Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rice's theorem

Known as: Rice-Myhill-Shapiro Theorem, Rices Theorem, Myhill 
In computability theory, Rice's theorem states that all non-trivial, semantic properties of programs are undecidable. A semantic property is one… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Abstract In this paper, we developed a new geospatial database of paddy rice agriculture for 13 countries in South and Southeast… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2005
Highly Cited
2000
Highly Cited
2000
The large area of rice (Oryza sativa L.) production worldwide is critical to the well being of large numbers of the world's… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The Kawasaki nonlinear response relation, the transient fluctuation theorem, and the Jarzynski nonequilibrium work relation are… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Rice hull ash (RHA), a waste product of the rice industry is rich in silica. A simple method based on alkaline extraction… Expand
  • figure 2
  • table 1
  • figure 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Tropical forests do far more than sustain biodiversity; they are homes to indigenous peoples, pharmacopeias of natural products… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
LOCO-I (low complexity lossless compression for images) is a novel lossless compression algorithm for continuous-tone images… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1965
Highly Cited
1965
Anyone who has studied "abstract algebra" and linear algebra as an undergraduate can understand this book. This edition has been… Expand
Is this relevant?
Highly Cited
1963
Highly Cited
1963
Introduction. Let K be a commutative ring with ulnit, and let R be a commutative unitary K-algebra. We shall be concerned with… Expand
Is this relevant?
Highly Cited
1941
Highly Cited
1941
 
  • figure 2
Is this relevant?