User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:59, 12 December 2011 diff hist +359 News:Plan for complete run (all tools, all problems) current
- 14:40, 9 May 2011 diff hist +226 Termination Competition 2011
- 12:16, 29 June 2010 diff hist -124 Termination Competition 2010 current
- 06:33, 7 October 2009 diff hist +5 News:Certification Problem Format
- 10:04, 29 September 2009 diff hist +683 N News:Certification Problem Format Created page with '<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here …'
- 09:57, 29 September 2009 diff hist +121 WScT current
- 09:54, 29 September 2009 diff hist +4 Bibtex:TS09 current
- 08:46, 17 June 2009 diff hist +5 Tools:IsaFoR
- 08:44, 17 June 2009 diff hist +723 N Tools:IsaFoR 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:40, 17 June 2009 diff hist +607 N Bibtex:TS09 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...
- 08:38, 17 June 2009 diff hist +62 Tools:CeTA
- 12:26, 14 November 2008 diff hist +332 Outermost
- 15:40, 3 November 2008 diff hist +12 Outermost
- 10:58, 3 November 2008 diff hist +476 Outermost
- 09:58, 20 May 2008 diff hist -37 WScT08 →Material
- 10:10, 19 May 2008 diff hist +404 WScT08 →Material
- 09:44, 19 May 2008 diff hist +31 WScT08 →Results (Competition)
- 09:39, 19 May 2008 diff hist +376 WScT08 →Results (Competition)
- 09:11, 19 May 2008 diff hist +120 WScT08 →Results (Competition)
- 08:58, 19 May 2008 diff hist +237 WScT08 →Results (Competition)