Complexity:Old

From Termination-Portal.org
Revision as of 10:30, 20 October 2008 by J.waldmann (talk | contribs) (New page: 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.))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.)

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Complexity:Old&oldid=540"