Linear pattern matching of compressed terms and polynomial rewriting.

Manfred Schmidt-Schauß

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

Keyphrases

pattern matching
compressed pattern matching
regular expressions
pattern matching algorithm
tree matching
matching process
compressed text
string matching
suffix array
boyer moore
hamming distance
bit parallel
information retrieval
matching strategy
graph matching
multi dimensional
data structure