[Termination tools] Re: termination competition
Aart Middeldorp
aart.middeldorp at uibk.ac.at
Wed Mar 23 17:50:45 CET 2005
Dear all,
TTT will join the following categories:
- TRS termination
- TRS innermost termination
- SRS termination
By the way, why isn't MUterm participating?
Cheers,
Aart
More information about the Termtools
mailing list