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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
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
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
This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and… 
2002
2002
Abstract Cotesia flavipes (Cameron) is a parasitoid responsible for maintaining populations of sugarcane borer, Diatraea… 
2001
2001
Some accessions of rice (Oryza saliva L.) have been shown to inhibit the growth of barnyardgrass (Echinochloa crus-galli (L… 
Review
1997
Review
1997
Abstract The partial sterility of hybrids between the indica and japonica rice subspecies of Asian cultivated rice is a serious… 
Highly Cited
1988
Highly Cited
1988
We study classes of sets and functions computable by algorithms that make a limited number of queries to an oracle. We… 
Highly Cited
1984