New pages
From Termination-Portal.org
- 09:31, 5 April 2012 Termination Competition 2012 (hist) [675 bytes] J.waldmann (Talk | contribs) (Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a...")
- 12:58, 19 April 2011 Termination Competition 2011 (hist) [710 bytes] J.waldmann (Talk | contribs) (Created page with "Important dates * Software requests: May 13 2010 * Problem submission: May 27 2011, 12:01 CET * Tool submission: May 27 2011, 12:01 CET * Competition start: May 30 2011...")
- 13:05, 29 April 2010 Termination Competition 2010 (hist) [823 bytes] J.waldmann (Talk | contribs) (Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.')
- 05:53, 15 April 2010 Complexity:Techniques (hist) [1,651 bytes] Zini (Talk | contribs) (Created page with 'This page is for listing all techniques applied by the participants of the complexity competitions. '''Be aware:''' the lists are still preliminary. == Derivational Complexity…')
- 05:44, 15 April 2010 Complexity:Rules (hist) [10,686 bytes] Zini (Talk | contribs) (initial content, from page Complexity)
