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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Background: The aim of the present study was to determine the role of complements and immunoglobulins in normal healthy… (More)
  • table II
  • table VI
  • table X
Is this relevant?
2015
2015
Emergent effects (McCarthy & Prince 1994) are the result of phonological constraints or rankings that only reveal themselves in a… (More)
  • figure 1
  • figure 2
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
V.M. Abazov af, B. Abbott bp, B.S. Acharya z, M. Adams at, T. Adams ar, G.D. Alexeev af, G. Alkhazov aj, A. Alton be,1, A. Askew… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
Is this relevant?
2012
2012
The study to ascertain the correlation between the concentration of radon gas ( Rn) at a relatively higher altitude and that of… (More)
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… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2007
2007
1. Argenta LC, Newman MH (1986) The use of methyl methacrylate cranioplasty in forehead reconstruction. Eur J Plast Surg 9 : 94… (More)
Is this relevant?
2004
2004
15. Jackson IT, Adham M, Bite U, Marx R (1987) Update on cranial bone grafts in craniofacial surgery. Ann Plast Surg 18:37 16… (More)
Is this relevant?
Review
2003
Review
2003
The DNAs of Cucurbita species were examined by several methods. All Cucurbita DNAs have a similar CsCl isopycnic banding pattern… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?