Jumping and escaping: Modular termination and the abstract path ordering.

Nachum Dershowitz

Published in: Theor. Comput. Sci. (2012)

Keyphrases

knuth bendix
term rewriting
partial order
real world
neural network
low level
database
rewrite systems
databases
data mining
higher level
global search
highly flexible
modular structure
data sets
termination analysis
modular neural networks
real time