Ramsey vs. Lexicographic Termination Proving.

Byron Cook Abigail See Florian Zuleger

Published in: TACAS (2013)

Keyphrases

term rewrite systems
databases
term rewriting
rewrite rules
multicriteria optimization
website
image segmentation
neural network
genetic algorithm
data structure
lower bound
artificial neural networks
metaheuristic
active rules
breadth first search
rewrite systems