Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,995,315 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
ACL2
Computer science
Computer scientist
Continuation
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
La Fondazione / The Foundation
I. Carneri
2017
Corpus ID: 53648140
The global strategy for the control of soil-transmitted helminthiasis, based on regular anthelminthic treatment, health education…
Expand
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
E. Konaş
2014
Corpus ID: 55185025
The objective of this case report is to evaluate the effects of maxillary distraction osteogenesis in an adult patient with…
Expand
2011
2011
THE HOMOSEXUALITY DEBATE IN THE UNITED METHODIST CHURCH: Religious Ethics, the Wesleyan Quadrilateral, and The United Methodist Moral Landscape
B. Simpson
2011
Corpus ID: 153623738
Benjamin Arnold Simpson, M.A. Department of Religious Studies, January 2011 University of Kansas Since the inclusion of a…
Expand
2011
2011
Descripción y evaluación de los parámetros y patrones dermatoscópicos de las lesiones cutáneas no melanocíticas y su diagnóstico diferencial con el melanoma
P. Diego
2011
Corpus ID: 190046004
La dermatoscopia es una tecnica diagnostica y no invasiva que permite observar estructuras de la epidermis y de la dermis que son…
Expand
2011
2011
Is Standardization of Nerve Graft Groups Necessary for Experimental Studies
Serhat Özbek
,
Mustafa Ozyurtlu
,
M. Kurt
,
Behzat Noyan
2011
Corpus ID: 55188904
ABS TRACT Objective: Experimental studies regarding nerve regeneration use a number of methods to compose a nerve graft group for…
Expand
2011
2011
Estudio comparativo de la displasia de codo en el perro, mediante exploración clínica, radiológica, artroscópica y tomografía axial computadorizada
I. Areán
2011
Corpus ID: 161516273
La Displasia de codo (DC) es una condicion que conduce a un desarrollo anormal de la articulacion del codo, frecuente en razas de…
Expand
2007
2007
Invited Commentary
L. Argenta
European journal of plastic surgery
2007
Corpus ID: 43025712
1. Argenta LC, Newman MH (1986) The use of methyl methacrylate cranioplasty in forehead reconstruction. Eur J Plast Surg 9 : 94…
Expand
2004
2004
Invited commentary
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…
Expand
2003
2003
Response : Multiple BCL 6 translocation partners in individual cases of gastric lymphoma
T. Akasaka
,
R. Levy
2003
Corpus ID: 37640627
translocation partner genes in primary gastric high-grade B-cell lymphoma— heat shock protein 89 is a novel fusion partner gene…
Expand
1998
1998
De samenhang tussen de serumconcentratie van prostaatspecifiek antigeen en de skelet- en CT-scan bij de stagering van primair prostaatcarcinoom
Emmy Hoefman
,
M. Hulshof
,
M. ReijkedeTh.
,
E. Bruijnes
,
W. K. Redekop
,
P. StraalenvanJ.
1998
Corpus ID: 56859031