Login / Signup
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems.
Nobuo Kawaguchi
Toshiki Sakabe
Yasuyoshi 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