[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