Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida Kohei Honda Martin Berger

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

higher order
logical reasoning
high order
pairwise
state space
data sets
search algorithm
natural images
software systems
basis functions
genetic algorithm
data structure