Complexity:Old

From Termination-Portal.org
Revision as of 10:37, 20 October 2008 by J.waldmann (talk | contribs)
Jump to navigationJump to search

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)