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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
This paper introduces a propositional encoding for recursive path orders (RPO), in connection with dependency pairs. Hence, we… (More)
  • table 1
  • 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… (More)
  • figure 1
  • figure 4
  • table I
  • table II
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We examined diazotroph activity in controlled experiments containing natural populations of nitrogen (N2)fixing microbes… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
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… (More)
  • 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… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
1997
1997
T h e imp lemen ta t ion of a n e f i c i en t au tomat i c t e s t generat ion s c h e m e f o r black-box testing i s discussed… (More)
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for… (More)
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present an alternative to the cellular encoding technique [Gruau 1992] for evolving graph and network structures via genetic… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Special Issue on Using Large Corpora: I Articles Introduction to the Special Issue on Computational Linguistics Using Large… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?