User contributions

From Termination-Portal.org

• 11:24, 16 April 2010 diff hist -195‎ Tools:TCT ‎ Deleted information that TCT is based on TTT2 because of the new Haskell implementation of TCT current
• 12:33, 26 March 2010 diff hist +424‎ Complexity Techniques ‎ Lists broken by tools
• 12:25, 26 March 2010 diff hist +466‎ N Complexity Techniques ‎ Added techniques (I know of) for derivational complexity
• 12:17, 26 March 2010 diff hist +16‎ Complexity:Old ‎ Outsourced listing of techniques to a separate page
• 13:17, 9 March 2010 diff hist 0‎ m Complexity:Old ‎ →‎Formatting of TCT used methods, derivational complexity
• 13:16, 9 March 2010 diff hist +149‎ Complexity:Old ‎ →‎Competition 2009, added used proof methods for TCT, derivational complexity
• 08:12, 3 November 2008 diff hist +42‎ Tools:TCT ‎ Added homepage
• 15:35, 20 October 2008 diff hist +337‎ Complexity:Old ‎ →‎Problem selection: added two innermost examples
• 15:21, 20 October 2008 diff hist +129‎ m Complexity:Old ‎ →‎Problem selection: added "closed under signature extensions" example
• 15:18, 20 October 2008 diff hist +55‎ m Tools:TCT ‎ cosmetic changes
• 15:16, 20 October 2008 diff hist +706‎ N Tools:TCT ‎ added page
• 14:57, 20 October 2008 diff hist 0‎ m Complexity:Old ‎ →‎Problem selection: order of examples changed
• 14:52, 20 October 2008 diff hist +843‎ Complexity:Old ‎ →‎Problem selection: examples completed for now
• 14:38, 20 October 2008 diff hist +429‎ m Complexity:Old ‎ →‎Problem selection: more dc problems
• 14:17, 20 October 2008 diff hist +103‎ m Complexity:Old ‎ →‎Problem selection: another test case added
• 14:14, 20 October 2008 diff hist +505‎ m Complexity:Old ‎ added some test cases
• 08:11, 18 July 2008 diff hist +652‎ N People:Andreas Schnabl ‎ New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th... current