User contributions
From Termination-Portal.org
Jump to navigationJump to search- 02:28, 18 February 2011 diff hist +49 Termination Competition →Annual International Termination Competition
- 02:21, 18 February 2011 diff hist +132 Termination Competition →History of Termination Competitions
- 12:00, 1 May 2010 diff hist -1 m Termination Competition 2010 typo fixed
- 18:41, 27 March 2010 diff hist -16 Complexity Techniques →Derivational Complexity
- 18:40, 27 March 2010 diff hist -10 Complexity Techniques corrected 2009 cat methods
- 09:47, 18 December 2009 diff hist -14 People:Harald Zankl current
- 09:47, 18 December 2009 diff hist +24 People:Harald Zankl
- 09:46, 18 December 2009 diff hist -11 People:Harald Zankl
- 09:46, 18 December 2009 diff hist -8 People:Harald Zankl
- 14:45, 27 March 2009 diff hist +131 Termination Competition 2008
- 10:47, 30 October 2008 diff hist +2 Complexity:Old
- 14:00, 29 October 2008 diff hist +40 Complexity:Old
- 09:04, 8 April 2008 diff hist +137 News:Adding References current
- 18:29, 7 April 2008 diff hist +2 News:Adding References
- 18:07, 7 April 2008 diff hist +7 News:Adding References
- 18:05, 7 April 2008 diff hist -1 News:Adding References
- 18:05, 7 April 2008 diff hist +527 News:Adding References
- 17:57, 7 April 2008 diff hist +142 N News:Adding References New page: Is there a general format which one should use when adding (one's) references? I think that should be fixed soon in order to a uniform layout.
- 08:56, 1 April 2008 diff hist +564 N Tools:TTT2 New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 08:54, 1 April 2008 diff hist -9 People:Harald Zankl
- 08:53, 1 April 2008 diff hist +45 People:Harald Zankl
- 08:49, 1 April 2008 diff hist +550 N People:Harald Zankl 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...
