Confluence of Non-Left-Linear TRSs via Relative Termination.

Dominik Klein Nao Hirokawa

Published in: LPAR (2012)

Keyphrases

rewrite systems
search engine
expert systems
linear systems
active rules
term rewriting
neural network
information retrieval
computer vision
multiscale
high dimensional
hidden markov models
simple linear