On 7/14/21 7:10 AM, YAMADA, Akihisa wrote:
Especially, does anyone have information on termCOMP 2009?
I mean termCOMP 2010.
http://termination-portal.org/wiki/Termination_Competition_2010
Wayback machine does not seem to have it: https://web.archive.org/web/20111001000000*/http://termcomp.uibk.ac.at/
A while ago I did keep some back-ups https://gitlab.imn.htwk-leipzig.de/waldmann/termcomp but it's incomplete
- J.