Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,693,073 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
2009
2009
Exploring Genetic and Spatial Structure of U.S. Weedy Red Rice (Oryza sativa) in Relation to Rice Relatives Worldwide
D. Gealy
,
H. Agrama
,
G. Eizenga
Weed science
2009
Corpus ID: 55284568
Abstract Weedy red rice is a highly troublesome weed of rice in the United States and throughout the world. Effective management…
Expand
2004
2004
Succession and phylogenetic profile of eukaryotic communities in the composting process of rice straw estimated by PCR-DGGE analysis
Vita Ratri Cahyani
,
K. Matsuya
,
S. Asakawa
,
M. Kimura
Biology and Fertility of Soils
2004
Corpus ID: 44682821
The succession and phylogenetic profile of eukaryotic communities during the composting process of rice straw (RS) were studied…
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
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
Highly Cited
2000
Highly Cited
2000
Lossless image coding via adaptive linear prediction and classification
G. Motta
,
Student Member
,
J. Storer
,
B. Carpentieri
Proceedings of the IEEE
2000
Corpus ID: 5366538
In past years, there have been several improvements in lossless image compression. All the recently proposed state-of-the-art…
Expand
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
Review
1997
Review
1997
Identification of two types of differentiation in cultivated rice (Oryza sativa L.) detected by polymorphism of isozymes and hybrid sterility
J. Wan
,
H. Ikehashi
Euphytica
1997
Corpus ID: 20581342
Magnitudes of genetic variation within each of major varietal groups of cultivated rice were surveyed in terms of isozyme…
Expand
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
1979
1979
The importance of nitrogen for rice production.
N. Murayama
1979
Corpus ID: 129498356
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