Efficient Parallel Term Matching and Anti-Unification.

Arthur L. Delcher Simon Kasif

Published in: ICLP (1990)

Keyphrases

higher order
anti unification
pattern matching
matching algorithm
machine learning
parallel processing
approximate matching
prior knowledge
general purpose
graph matching
parallel execution