Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

30 relations
Abstract interpretationAbstraction (software engineering)Admissible numberingAlgorithm

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
118701-3434 IJET-IJENS © February 2011 IJENS I J E N S  Abstract-In this work, the adsorption potential of rice husk based… 
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
Copper (Cu) is an essential micronutrient required for growth and development of plants. However, excess Cu is toxic to plants… 
Highly Cited
2002
Highly Cited
2002
Packet-based input test data compression techniques
This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and… 
Highly Cited
1997
Highly Cited
1997
Recent Developments in Context-Based Predictive Techniques for Lossless Image Compression
In this paper we describe some recent developments that have taken place in context-based predictive coding, in response to the… 
Review
1997
Review
1997
Molecularmarker diversity and hybrid sterility in indica-japonica rice crosses
Abstract The partial sterility of hybrids between the indica and japonica rice subspecies of Asian cultivated rice is a serious… 
Highly Cited
1994
Highly Cited
1994
Rice root traits for drought resistance and their genetic variation
Highly Cited
1992
Highly Cited
1992
Oxygen profiles and methane turnover in a flooded rice microcosm
SummaryDissolved O2 was depleted within the top 3.5-mm surface layer of flooded rice soil microcosms without plants. In planted… 
Highly Cited
1988
Highly Cited
1988
Query-limited reducibilities
We study classes of sets and functions computable by algorithms that make a limited number of queries to an oracle. We… 
Highly Cited
1984
Highly Cited
1984
The autocontinuity of set function and the fuzzy integral
Highly Cited
1978
Highly Cited
1978
Rice-husk, conversion to energy
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)