Comparison of Priority Rules in Pattern Matching and Term Rewriting.

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

Keyphrases

pattern matching
term rewriting
matching process
theorem prover
string matching
operational semantics
tree matching
regular expressions
pattern matching algorithm
theorem proving
rewrite systems
boyer moore
approximate pattern matching
databases
hamming distance
agent model
probabilistic model
similarity measure