Termination Competition (termCOMP 2015).

Jürgen Giesl Frédéric Mesnard Albert Rubio René Thiemann Johannes Waldmann

Published in: CADE (2015)

Keyphrases

international competition
rewrite systems
decision making
high level
search algorithm
relational databases
term rewriting