Practical Higher-Order Pattern Unification with On-the-Fly Raising.

Gopalan Nadathur Natalie Linnell

Published in: ICLP (2005)

Keyphrases

higher order
natural images
high order
pattern matching
pairwise
real world
artificial intelligence
lower order
case study
multiscale
decision making
real time
data structure
website
data mining
pattern discovery
practical application
theorem proving
practical problems