Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Church encoding

Known as: Church numeral, Church number, Church integer 
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The data and operators form a mathematical… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Due to its high modularity and carry-free addition, a redundant binary (RB) representation can be used when designing high… Expand
  • table I
  • table II
  • figure 2
  • figure 3
  • table III
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Ammonia-oxidizing microorganisms compete with phytoplankton for reduced nitrogen in the euphotic zone and provide oxidized… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2012
Highly Cited
2012
This paper presents the design and implementation of signed-unsigned Modified Booth Encoding (SUMBE) multiplier. The present… Expand
  • figure 2
  • table 1
  • figure 1
  • figure 5
  • table 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Several successful software model checkers are based on a technique called single-block encoding (SBE), which computes costly… Expand
  • figure 1
  • figure 4
  • table I
  • table II
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Sudoku is a very simple and well-known puzzle that has achieved international popularity in the recent past. This paper addresses… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Artificial neural networks can potentially control autonomous robots, vehicles, factories, or game players more robustly than… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for… Expand
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
  • A. Sinclair
  • Comb. Probab. Comput.
  • 1992
  • Corpus ID: 13494174
The paper is concerned with tools for the quantitative analysis of finite Markov chains whose states are combinatorial structures… Expand
Is this relevant?
Highly Cited
1957
Highly Cited
1957
"August 9, 1957." Issued also as a thesis, M.I.T. Dept. of Electrical Engineering, May 1957. 
  • figure 2-1
  • figure 2-2
  • figure 3-1
  • figure 3-2
  • figure 4-1
Is this relevant?