Login / Signup
Understanding Higher Order Unification via Explicit Substitutions and Patterns.
Flávio L. C. de Moura
Published in:
IJCAR Doctoral Programme (2004)
Keyphrases
</>
higher order
high order
pairwise
markov random field
low order
natural images
pattern analysis
frequent patterns
pattern mining
similarity measure
learning environment
data sets
attribute values
temporal patterns
previously unknown
behavior patterns
complex patterns
lambda calculus
equational theories