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

Jonathan P. Seldin

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

Keyphrases

search algorithm
reduction method
search space
artificial intelligence
real time
data sets
rough sets
user queries
search methods
search strategy
solution space
search queries
data reduction