Login / Signup
On the Limits of Second-Order Unification.
Jordi Levy
Published in:
UNIF (2014)
Keyphrases
</>
higher order
high order
theorem proving
machine learning
equational theories
multiresolution
first order logic
theorem prover
function symbols
computer vision
metadata
high level
feature extraction
logic programs
fourth order
hessian matrix