Sign in

TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems.

Nobuo KawaguchiToshiki SakabeYasuyoshi Inagaki
Published in: AMAST (1996)
Keyphrases
  • visual environment
  • term rewriting systems
  • data structure
  • databases
  • computer vision
  • database systems
  • feature extraction
  • query processing
  • general purpose
  • image classification
  • model checking
  • visual search