Relative Termination via Dependency Pairs.

José Iborra Naoki Nishida Germán Vidal Akihisa Yamada

Published in: J. Autom. Reason. (2017)

Keyphrases

term rewrite systems
dependency relations
neural network
data sets
genetic algorithm
decision making
pairwise
real world
search engine
website
multi agent