[Termtools] Termination Portal online

[Johannes Waldmann]

Peter Schneider-Kamp wrote:

> ... I think the web site's focus should be
> [...] 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, ...).

I see your point.

If there is no objection, I will acquire a domain name soon.

What name? Voice your opinion here:

http://aprove.informatik.rwth-aachen.de/termination-portal/index.php/What_domain_name%3F

Best regards, Johannes.