- C. CALUDE. Computational Complexity. Qualitative Aspects. Editura stiintifică si enciclopedică, Bucuresti, 1982 (in Romanian).Google Scholar
- C. CALUDE and Gh. PĂUN. Independent instances for some undecidable problems. RAIRO-Theoretical Informatics 17 (1983), 1--6.Google Scholar
- K. GÖDEL. Uber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatschefte für Mathematik und Physik 38 (1931), 173--198.Google ScholarCross Ref
- J. HARTMANIS and J. HOPCROFT. Independent results in computer science. ACM SIGACT News 8 (1976), 13--24. Google ScholarDigital Library
- D. JOSEPH and P. YOUNG. A survey of some recent results on computational complexity in weak theories of arithmetic. MFCS 1981, Proc. 10th Symp. Strbské Peso/ Czech. 1981, LNCS 118 (1981), 46--60. Google ScholarDigital Library
- M. MACHTEY and P. YOUNG. An Introduction to the General Theory of Algorithms. Elsevier-North-Holland, Amsterdam, 1978. Google ScholarDigital Library
- J. PARIS and L. HARRINGTON. A mathematical incompleteness in Peano arithmetic. In J. BARWISE (ed.). Handbook of Mathematical Logic. North-Holland, Amsterdam, 1977, 1133--1142.Google Scholar
- H. G. RICE. Classes of recursively enumerable sets and their decision problems. Trans. AMS 89 (1953), 25--59.Google Scholar
- H. G. RICE. On completely recursively enumerable classes and their key arrays. J. of Symbolic Logic 21 (1956), 304--341.Google ScholarCross Ref
- H. ROGERS. Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York, 1967. Google ScholarDigital Library
Index Terms
- On a class of independent problems related to Rice theorem
Recommendations
Application of GOCI-derived vegetation index profiles to estimation of paddy rice yield using the GRAMI rice model
Feasibility study of the GOCI satellite for rice yield simulation with GRAMI model.Advantages of GOCI with high temporal resolution to simulate rice growth and development.Method to calculate rice phenology based on the BRDF-adjusted reflectance with ...
Hyperspectral detection of rice damaged by rice leaf folder (Cnaphalocrocis medinalis)
The reflectance from rice (Oryza sativa L.) leaves and canopy damaged by rice leaf folder (RLF), Cnaphalocrocis medinalis (Guenee) was studied at the booting stage in order to establish a monitoring method for RLF based on hyperspectral data. The ...
Discriminating different landuse types by using multitemporal NDXI in a rice planting area
Research has shown that the use of multitemporal images could obtain better classification over single date images and that seasonal variation of the normalized difference vegetation index (NDVI) could help improve classification accuracy. On ...
Comments