Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories.

Alexandre Boudet

Published in: Discret. Math. Theor. Comput. Sci. (2000)

Keyphrases

equational theories
higher order
natural images
high order
pattern mining
theorem proving
pairwise
data mining techniques
artificial intelligence
general purpose
graphical models
lexico syntactic