Pattern-Matching Spi-Calculus.

Christian Haack Alan Jeffrey

Published in: Formal Aspects in Security and Trust (2004)

Keyphrases

pattern matching
regular expressions
matching process
pattern matching algorithm
tree matching
string matching
matching strategy
relational databases
graph matching
lossy compression
approximate pattern matching
image processing