Login / Signup
Higher-Order Order-Sorted Algebras.
Zhenyu Qian
Published in:
ALP (1990)
Keyphrases
</>
higher order
order sorted
predicate logic
high order
natural images
low order
pairwise
markov random field
spatial reasoning
machine learning
distributive lattices
conditional random fields
data mining
temporal reasoning
relation algebra
clifford algebra
email
multiscale
lambda calculus