[Termtools] Termination Portal online

[Peter Schneider-Kamp]

Johannes Waldmann wrote:
> As for the domain name, another idea is
> to put everthing under rewriting.org
> ("whois" tells that Nachum holds the name).

Dear Johannes,

I think that putting it under "rewriting.org" might give
the wrong signal. I think the web site's focus should not
be on term rewriting but on termination analysis of
term rewriting, logic programs, functional programs, and
imperative programs as well as on other applications of
termination techniques (liveness, complexity bounds, ...).

Best regards,
Peter