2D Dependency Pairs for Proving Operational Termination of CTRSs.

Salvador Lucas José Meseguer

Published in: WRLA (2014)

Keyphrases

term rewrite systems
rewrite rules
pairwise
decision making
databases
neural network
machine learning
knowledge base
decision trees
image sequences
face recognition
multi agent systems
hidden markov models