[Termination tools] termination theorem data base?

[Johannes Waldmann]

> One problem may be that people do not want to make their new techniques 
> public before the competition ...

therefore: let's use (probabilistically checkable)
zero-knowledge termination proofs :-)

http://www.wisdom.weizmann.ac.il/~oded/zk-tut02.html
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------