The search for a reduction in combinatory logic equivalent to λβ-reduction.

Jonathan P. Seldin

Published in: Theor. Comput. Sci. (2011)

Keyphrases

search algorithm
search efficiency
search space
artificial intelligence
search strategy
data sets
user queries
search queries