[Termination tools] small TRS enumeration

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Thu Apr 28 13:44:23 CEST 2005


Dear all, I have been re-running the termination provers (this time, all 
six of them) on the small but hard examples that I generated recently. 
Again, for everyone, there is something in it:
http://dfa.imn.htwk-leipzig.de/~waldmann/running/third/overview.html
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------



More information about the Termtools mailing list