[Termtools] Complexity Category

[Georg]

Dear All,

during the  termination competition meeting at  Hagenberg a complexity 
category for TRSs
was suggested.  Kindly find below a joint-proposal of  how to implement 
such a category.
To  report  on the  state  of  the discussion a  wiki  page has  been 
generated: 

http://termination-portal.org/wiki/Complexity. 

The  here given information will shortly be included into the wiki page.

best wishes,

Georg Moser & Johannes Waldmann
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: competition.txt
Url: http://lists.lri.fr/pipermail/termtools/attachments/20081020/9cc0f6e6/attachment.txt