[Termination tools] competition for context-sensitive rewriting

[Peter Schneider-Kamp]

Hi Claude,

will there be separate competitions for AC/context sensitive rewriting?
I think only very few systems can deal with AC/CSR so counting
the YES/NO scores on all examples of the TPDB is probably not very fair.

Kind regards,
Peter

P.S.: TRCSR/ExSec11_1_Luc02a is not translated and contains
       a (STRATEGY CONTEXTSENSITIVE ...) declaration.
P.P.S.: The examples from CSR/ would make nice examples for
         non-termination analysis if the CS declaration was removed.
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211