Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,344,566 papers from all fields of science
Search
Sign In
Create Free Account
Rice's theorem
Known as:
Rice-Myhill-Shapiro Theorem
, Rices Theorem
, Myhill
Expand
In computability theory, Rice's theorem states that all non-trivial, semantic properties of programs are undecidable. A semantic property is one…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Abstract interpretation
Abstraction (software engineering)
Admissible numbering
Algorithm
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
02 Why women still can’t have it all!
Nathalie Badia Elodie Likhtart
,
Domont
2013
Corpus ID: 58482484
Why women still can’t have it all! It’s time to stop fooling ourselves, says a woman who left a position of power: the women who…
Expand
2013
2013
An assessment of Rice Husk Ash modified, Marble Sludge loaded Natural Rubber hybrid composites
K. Ahmed
,
S. S. Nizami
,
N. Raza
,
S. Kamaluddin
,
K. Mahmood
2013
Corpus ID: 54802161
Marble sludge (MS) and rice husk have been collected from marble industry and rice processing mill. MS was dried, ground and…
Expand
Review
2013
Review
2013
Molecular approaches towards analyzing the viruses infecting maize (Zea mays L.)
K. Sharma
,
R. Misra
2013
Corpus ID: 59369610
Information on virus diseases of maize still remains scanty in several maize growing countries. Therefore it is hoped that this…
Expand
2012
2012
Effect of forced-air artificial intermittent drying on cocoa beans in South-Western Nigeria
M. Sarwar
2012
Corpus ID: 67754089
Drying experiments were carried out to investigate the effect of forced-air, artificial intermittent drying system on quality of…
Expand
2005
2005
What are Safe Levels of Arsenic in Food and Soils ?
J. Duxbury
,
Y. Zavala
2005
Corpus ID: 29714756
A perspective on arsenic “safety” in food and soils in Bangladesh is provided by using current limits or standards for arsenic…
Expand
2001
2001
Decomposition of Rice Straw and Mineralization of Carbon, Nitrogen, Phosphorus and Potassium in Wheat Field Soil in Western Uttar Pradesh
B. Mishra
,
P. Sharma
,
K. Bronson
2001
Corpus ID: 124462202
The decomposition of rice straw buried in the soil in a wheat field under rice-wheat cropping system in western Uttar Pradesh was…
Expand
1992
1992
Growth and Yield of Japonica-Indica Hybrid Rice
N. Kabaki
,
H. Hasegawa
,
H. Yamaguchi
,
T. Kon
1992
Corpus ID: 92806533
1987
1987
USE OF EVEN-AGED STANDS BY WINTER AND SPRING BIRD COMMUNITIES
R. H. Yahner
1987
Corpus ID: 55447761
ABsTRAcr.-I examined habitat use by winter and spring bird communities from 1981 to 1984 in 1-ha even-aged stands managed for…
Expand
1984
1984
Wheat in the rice-based farming system of the punjab : implications for research and extension
D. Byerlee
,
A. D. Sheikh
,
M. Aslam
,
P. Hobbs
1984
Corpus ID: 129070883
1979
1979
The importance of nitrogen for rice production.
N. Murayama
1979
Corpus ID: 129498356