Login / Signup
Delaying Unification Algorithms for Lambda Calculi.
John Staples
Published in:
Theor. Comput. Sci. (1988)
Keyphrases
</>
computational cost
learning algorithm
data structure
computational complexity
machine learning algorithms
times faster
optimization problems
computationally efficient
theoretical analysis
computer vision
case study
image sequences
worst case
computational efficiency
computationally expensive
theorem proving