Skip to search formSkip to main contentSkip to account menu

McCarthy 91 function

Known as: McCarthy 91, Mccarthy 91-function 
The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The objective of this study was to evaluate the effects of different mineral supplements on methane emission of sheep grazing in… 
2011
2011
Acute and chronic wounds are characterized by breakdown of the integrity of the soft tissue envelope surrounding any portion of… 
2011
2011
ABS TRACT Objective: Experimental studies regarding nerve regeneration use a number of methods to compose a nerve graft group for… 
2011
2011
La dermatoscopia es una tecnica diagnostica y no invasiva que permite observar estructuras de la epidermis y de la dermis que son… 
2004
2004
  • K. Fukuta
  • European Journal of Plastic Surgery
  • 2004
  • Corpus ID: 31780928
15. Jackson IT, Adham M, Bite U, Marx R (1987) Update on cranial bone grafts in craniofacial surgery. Ann Plast Surg 18:37 16… 
2003
2003
translocation partner genes in primary gastric high-grade B-cell lymphoma— heat shock protein 89 is a novel fusion partner gene… 
2000
2000
An important concept in Optimality Theory (OT) is input-output faithfulness, the phonological similarity between underlying forms… 
1998
1998
The relationship between the serum level of prostate-specific antigen and bone scans and CT-scans in the staging of primary… 
1994
1994
Korean possesses a rich onomatopoeic and mimetic vocabulary that may be augmented by partial reduplication and/or suffixation… 
1983
1983
The "sale of farm products ratio" indicator is used in this paper to establish the extent to which the agricultural economy of…