SKI combinator calculus

Known as: Ski (disambiguation), SK combinator calculus, SKI calculus 
SKI combinator calculus is a combinatory logic, a computational system that may be perceived as a reduced version of untyped lambda calculus. It can… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Exercise benefits a variety of organ systems in mammals, and some of the best-recognized effects of exercise on muscle are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Predicate encryption is a new paradigm for public-key encryption that generalizes identity-based encryption and more. In… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Social networking services are a fast-growing business in the Internet. However, it is unknown if online relationships and their… (More)
  • table I
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We derive single-letter characterizations of (strong) secrecy capacities for models with an arbitrary number of terminals, each… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Microarray and other high-throughput technologies are producing large sets of interesting genes that are difficult to analyze… (More)
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The blockade of epidermal growth factor receptor (EGFR) function with monoclonal antibodies has major antiproliferative effects… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
Review
1997
Review
1997
SKI-combinator trees are a simple model of computation, which are computationally complete (in a Turing sense), but are… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Intravenous administration of 80 mg of recombinant tissue plasminogen activator (rt-PA, 40, 20, and 20 mg in successive hours… (More)
  • table 1
  • table 2
  • table 2
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1973
Highly Cited
1973
Continuous cell lines, SK-N-SH and SK-N-MC, were established in cell culture from human metastatic neuro blastoma tissue and… (More)
  • table I
  • table 2
  • table 3
Is this relevant?