Difference between revisions of "Complexity:Old"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
Georg.moser (talk | contribs) |
||
Line 18: | Line 18: | ||
* | * | ||
* Johannes Waldmann (Matchbox), but will need more time (December 2008) | * Johannes Waldmann (Matchbox), but will need more time (December 2008) | ||
+ | * M. Avanzini, G. Moser, A. Schnabl (TCT) |
Revision as of 12:09, 20 October 2008
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)