Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,600,542 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.
Highly Cited
2013
Highly Cited
2013
Fixed-bed Column Study for Cu ( II ) Removal from Aqueous Solutions using Rice Husk based Activated Carbon
N. Yahaya
,
I. Abustan
,
M. F. P. M. Latiff
,
O. Bello
,
M. A. Ahmad
2013
Corpus ID: 14194978
118701-3434 IJET-IJENS © February 2011 IJENS I J E N S Abstract-In this work, the adsorption potential of rice husk based…
Expand
Highly Cited
2012
Highly Cited
2012
Proteomic analysis of copper stress responses in the roots of two rice (Oryza sativa L.) varieties differing in Cu tolerance
Yufeng Song
,
J. Cui
,
Hongxiao Zhang
,
Gui-ping Wang
,
F. Zhao
,
Z. Shen
Plant and Soil
2012
Corpus ID: 17955817
Copper (Cu) is an essential micronutrient required for growth and development of plants. However, excess Cu is toxic to plants…
Expand
Highly Cited
2002
Highly Cited
2002
Packet-based input test data compression techniques
E. Volkerink
,
A. Khoche
,
S. Mitra
Proceedings. International Test Conference
2002
Corpus ID: 11068675
This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and…
Expand
2002
2002
Effects of Snowdrop Lectin (Galanthus nivalis Agglutinin) Expressed in Transgenic Sugarcane on Fitness of Cotesia flavipes (Hymenoptera: Braconidae), a Parasitoid of the Nontarget Pest Diatraea…
M. Sétamou
,
Julio S. Bernal
,
J. Legaspi
,
T. Mirkov
2002
Corpus ID: 42056939
Abstract Cotesia flavipes (Cameron) is a parasitoid responsible for maintaining populations of sugarcane borer, Diatraea…
Expand
2001
2001
Barnyardgrass Growth Inhibition with Rice Using High‐Performance Liquid Chromatography to Identify Rice Accession Activity
J. Mattice
,
R. Dilday
,
E. Gbur
,
B. Skulman
2001
Corpus ID: 34825518
Some accessions of rice (Oryza saliva L.) have been shown to inhibit the growth of barnyardgrass (Echinochloa crus-galli (L…
Expand
Highly Cited
2000
Highly Cited
2000
Oxy radicals production and control in the chloroplast of Mn-treated rice
F. Lidon
,
Miguel Teixeira
2000
Corpus ID: 54075456
Review
1997
Review
1997
Molecularmarker diversity and hybrid sterility in indica-japonica rice crosses
Qifa Zhang
,
K. Liu
,
G. Yang
,
M. Maroof
,
C. Xu
,
Z. Q. Zhou
Theoretical and Applied Genetics
1997
Corpus ID: 22786353
Abstract The partial sterility of hybrids between the indica and japonica rice subspecies of Asian cultivated rice is a serious…
Expand
Highly Cited
1994
Highly Cited
1994
Rice root traits for drought resistance and their genetic variation
K. Ingram
,
F. D. Bueno
,
O. S. Namuco
,
E. B. Yambao
,
Agroecology Div.
1994
Corpus ID: 90346546
Highly Cited
1988
Highly Cited
1988
Query-limited reducibilities
R. Beigel
1988
Corpus ID: 117791556
We study classes of sets and functions computable by algorithms that make a limited number of queries to an oracle. We…
Expand
Highly Cited
1984
Highly Cited
1984
The autocontinuity of set function and the fuzzy integral
Zhenyuan Wang
1984
Corpus ID: 43203082
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)
ACCEPT & CONTINUE