Sign in

Fast matching in combinations of regular equational theories.

Steven Eker
Published in: WRLA (1996)
Keyphrases
  • equational theories
  • matching algorithm
  • theorem proving
  • pattern matching
  • image matching
  • graph matching
  • shape matching
  • video sequences
  • expert systems
  • knowledge representation
  • general purpose