Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting.

Jesús Domínguez Maribel Fernández

Published in: FCT (2019)

Keyphrases

matching algorithm
pattern matching
matching process
data sets
graph matching
rewrite rules
image matching
theorem proving
higher order
precisely defined
ontology matching
theorem prover
template matching
image retrieval
natural language
face recognition
computer vision