On the Time and Tape Complexity of Weak Unification.

W. Erni R. Lapsien

Published in: Inf. Process. Lett. (1981)

Keyphrases

metadata
search algorithm
computational complexity
higher order
neural network
machine learning
worst case
high speed
automated theorem proving