Complexity:Old: Difference between revisions

Latest revision as of 12:05, 8 June 2012

This page is no longer maintained.

The entry point to the complexity category is here: complexity competition.

@@ Line 1: / Line 1: @@
-This page is to record the current status of discussion
+<pre>
-on the proposed Complexity Category of the Termination Competition.
+This page is no longer maintained.
+</pre>
-(Discussion should take place on the termtools mailing list.)
+The entry point to the complexity category is here: [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/ complexity competition].
-== 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)