Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this… Expand
Is this relevant?
2014
2014
The objective of this case report is to evaluate the effects of maxillary distraction osteogenesis in an adult patient with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Acute and chronic wounds are characterized by breakdown of the integrity of the soft tissue envelope surrounding any portion of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
ABS TRACT Objective: Experimental studies regarding nerve regeneration use a number of methods to compose a nerve graft group for… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2011
2011
La dermatoscopia es una tecnica diagnostica y no invasiva que permite observar estructuras de la epidermis y de la dermis que son… Expand
  • table 1
  • table 2
  • table 1
  • figure 6
  • table 3
Is this relevant?
2011
2011
Benjamin Arnold Simpson, M.A. Department of Religious Studies, January 2011 University of Kansas Since the inclusion of a… Expand
Is this relevant?
2011
2011
Background: In a previous Phase 1/2b malaria vaccine trial testing the 3D7 isoform of the malaria vaccine candidate Merozoite… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2003
2003
translocation partner genes in primary gastric high-grade B-cell lymphoma— heat shock protein 89 is a novel fusion partner gene… Expand
  • figure 1
Is this relevant?
2000
2000
An important concept in Optimality Theory (OT) is input-output faithfulness, the phonological similarity between underlying forms… Expand
Is this relevant?
1994
1994
Korean possesses a rich onomatopoeic and mimetic vocabulary that may be augmented by partial reduplication and/or suffixation… Expand
Is this relevant?