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 (opens in a new tab)

Related topics

Related topics

13 relations
ACL2Computer scienceComputer scientistContinuation

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
52a Reunião Anual da Sociedade Brasileira de Zootecnia
The objective of this study was to evaluate the effects of different mineral supplements on methane emission of sheep grazing in… 
2015
2015
Preschool Growth in Mathematics and Long-Run Achievement: An Instrumental Variables Approach
We estimate the causal links between preschool mathematics growth and late elementary school mathematics achievement, using… 
2014
2014
DRAMATIC PROFILE CHANGE OF A SEVERE CLASS III ADULT PATIENT WITH RED I AND 1 YEAR-4 MONTH FOLLOW-UP : A CASE REPORT
The objective of this case report is to evaluate the effects of maxillary distraction osteogenesis in an adult patient with… 
2011
2011
Skin Graft Harvesting and Donor Site Selection
Acute and chronic wounds are characterized by breakdown of the integrity of the soft tissue envelope surrounding any portion of… 
2011
2011
THE HOMOSEXUALITY DEBATE IN THE UNITED METHODIST CHURCH: Religious Ethics, the Wesleyan Quadrilateral, and The United Methodist Moral Landscape
Benjamin Arnold Simpson, M.A. Department of Religious Studies, January 2011 University of Kansas Since the inclusion of a… 
2011
2011
Is Standardization of Nerve Graft Groups Necessary for Experimental Studies
ABS TRACT Objective: Experimental studies regarding nerve regeneration use a number of methods to compose a nerve graft group for… 
2004
2004
Invited commentary
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
Response : Multiple BCL 6 translocation partners in individual cases of gastric lymphoma
translocation partner genes in primary gastric high-grade B-cell lymphoma— heat shock protein 89 is a novel fusion partner gene… 
2000
2000
The OCP in the perception grammar
An important concept in Optimality Theory (OT) is input-output faithfulness, the phonological similarity between underlying forms… 
1994
1994
Metrical weight consistency in Korean partial reduplication
Korean possesses a rich onomatopoeic and mimetic vocabulary that may be augmented by partial reduplication and/or suffixation… 
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)