[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