A (machine-oriented) logic based on pattern matching.

Published in: Math. Struct. Comput. Sci. (2023)

Keyphrases

pattern matching
matching process
string matching
regular expressions
tree matching
pattern matching algorithm
matching strategy
similarity measure
multiresolution
data model
graph matching
hamming distance
bit parallel
approximate pattern matching