Login / Signup
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