Login / Signup

A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning.

Helmuth PartschFrank A. Stomp
Published in: Formal Aspects Comput. (1990)
Keyphrases
  • pattern matching algorithm
  • pattern matching
  • aho corasick
  • matching algorithm
  • knowledge base
  • image compression
  • compression algorithm
  • computational complexity
  • dynamic programming