[Termination tools] Categories

[Juergen Giesl]

Dear all,

AProVE wants to participate in the following categories:

TRS termination

TRS innermost termination

TRS context-sensitive termination (if available)

TRS conditional (if available)

TRS termination modulo theory

SRS termination


If there is any tool except TALP and AProVE which would
also like to participate in the LP-category, we would be happy
to participate in that as well. Otherwise, as agreed before,
this category will be cancelled this time.

Best Regards
Juergen