Complexity:Old
From Termination-Portal.org
This page is to record the current status of discussion on the proposed Complexity Category of the Termination Competition.
(Discussion should take place on the termtools mailing list.)
Rules (Current Proposal)
(see forthcoming email to termtools)
Questions
issues with the rules proposal that need to be clarified, or voted upon.
Participants
insert your name here if you intend to participate
- Johannes Waldmann (Matchbox), but will need more time (December 2008)
- M. Avanzini, G. Moser, A. Schnabl (TCT)