Skip to search formSkip to main contentSkip to account menu

Binary combinatory logic

Known as: BCL 
Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Antiapoptotic BCL2 proteins play a major role in tumor cell survival. Hence, BCL2 inhibitors have been developed as direct… 
2016
2016
Cancerous inhibitor of protein phosphatase 2A (CIP2A) is a predictive biomarker of disease progression in many malignancies… 
2013
2013
Pulsed field magnetization (PFM) was performed for the MgB<sub>2</sub> bulk 30 mm in diameter and the applied pulsed-field… 
2009
2009
The BCL6 transcriptional repressor is the most commonly involved oncogene in diffuse large B-cell lymphomas (DLBCLs). BCL6… 
2009
2009
UN/CEFACT’s Modeling Methodology (UMM) is a modelingapproach for describing the choreography of B2B processes.UMM is developed by… 
Highly Cited
2005
Highly Cited
2005
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the… 
2002
2002
This paper presents BCL, a border-based coordination language focused on the solution of numerical applications. Our approach… 
Highly Cited
1998
Highly Cited
1998
Diffuse large B-cell lymphoma (DLCL) is characterized by a marked degree of morphologic and clinical heterogeneity. We studied… 
1982
1982
CONLAN (CONsensus LANguage) is a general formal language construction mechanism for the description of hard- and firmware at… 
1975
1975
are noted for the BCL, the BCL parameters exhibit temperature dependences which are distinct from those observed for the…