Variadic equational matching in associative and commutative theories.

Besik Dundua Temur Kutsia Mircea Marin

Published in: J. Symb. Comput. (2021)

Keyphrases

equational theories
matching algorithm
matching process
theorem proving
feature points
matching scheme
bayesian networks
computational model
theoretical framework
template matching
graph matching
computational models
genetic algorithm
multiscale
video sequences
real time
image matching