User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:05, 13 March 2019 diff hist +28 Termination Competition 2019 →Dates
- 18:11, 7 May 2018 diff hist -1 m Termination Competition 2018 →Registration
- 08:33, 27 April 2018 diff hist +152 Termination Competition Steering Committee update the StarExec and new SC
- 12:30, 30 May 2014 diff hist -38 People:Christian Sternagel current
- 00:50, 24 February 2012 diff hist +44 People:Christian Sternagel
- 12:46, 9 April 2010 diff hist 0 m Tools:Cime moved Tools:Tool Cime to Tools:Cime: redundant naming current
- 12:46, 9 April 2010 diff hist +24 N Tools:Tool Cime moved Tools:Tool Cime to Tools:Cime: redundant naming current
- 12:44, 9 April 2010 diff hist -39 Tools:IsaFoR current
- 08:58, 12 January 2010 diff hist +578 N News:Proposal - Rename XTC 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 …' current
- 08:49, 12 January 2010 diff hist +477 Talk:XTC Format Specification →Proposed Change: new section current
- 14:29, 18 May 2009 diff hist -32 Bibtex:KSZM09 current
- 14:29, 18 May 2009 diff hist +7 Bibtex:KSZM09
- 14:28, 18 May 2009 diff hist +99 Bibtex:KSZM09
- 14:24, 18 May 2009 diff hist -1 Bibtex:KSZM09
- 14:23, 18 May 2009 diff hist +24 Bibtex:KSZM09
- 14:20, 18 May 2009 diff hist +17 Bibtex:KSZM09
- 14:19, 18 May 2009 diff hist +644 N Bibtex:KSZM09 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...
- 14:09, 18 May 2009 diff hist +45 Tools:TTT2 current
- 15:22, 20 March 2009 diff hist +4 Tools:TTT2
- 15:22, 20 March 2009 diff hist +645 N Tools:CeTA 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...
- 16:47, 20 November 2008 diff hist +189 Termination Competition Platform →Wishlist: Query Interface
- 15:01, 20 November 2008 diff hist +203 Termination Competition Platform →Wishlist: Query Interface
- 14:58, 20 November 2008 diff hist -2 Termination Competition Platform →Wishlist: Query Interface
- 08:06, 5 November 2008 diff hist +78 Tools:CaT
- 13:06, 21 May 2008 diff hist +1 MicroTTT current
- 13:05, 21 May 2008 diff hist +704 MicroTTT
- 12:58, 21 May 2008 diff hist +30 MicroTTT
- 12:57, 21 May 2008 diff hist -21 MicroTTT →\muTTT
- 12:57, 21 May 2008 diff hist +21 N MicroTTT New page: =<math>\mu</math>TTT=
- 12:56, 21 May 2008 diff hist +2 WScT08 →Results (Certification)
- 12:55, 21 May 2008 diff hist +13 WScT08 →Results (Certification)
- 14:20, 17 May 2008 diff hist +145 Handling DG and SCCs current
- 14:18, 17 May 2008 diff hist 0 m Handling DG and SCCs Handling SCCs moved to Handling DG and SCCs
- 14:18, 17 May 2008 diff hist +34 N Handling SCCs Handling SCCs moved to Handling DG and SCCs current
- 14:17, 17 May 2008 diff hist +3 WScT08 →Material
- 14:10, 17 May 2008 diff hist +3 Handling DG and SCCs
- 14:10, 17 May 2008 diff hist -2 WScT08 →Material
- 14:09, 17 May 2008 diff hist +9 WScT08 →Material
- 14:09, 17 May 2008 diff hist +276 N Handling DG and SCCs New page: (Idea, please extend) Termination Prover computes SCCs and outputs them. Proof assistant does not have to recompute SCCs (which is costly). Prover has to indicate topological ordering on S...
- 14:06, 17 May 2008 diff hist +54 WScT08 →Material
- 12:37, 17 May 2008 diff hist +2 WScT08 →Material
- 12:36, 17 May 2008 diff hist +110 WScT08 →Material
- 12:34, 17 May 2008 diff hist +74 WScT08 →Registration
- 08:37, 17 May 2008 diff hist +3 WScT08 →Material
- 08:34, 17 May 2008 diff hist +121 WScT08 →Program
- 16:21, 15 May 2008 diff hist +303 WScT08 →Registration
- 10:15, 10 April 2008 diff hist +37 WScT08 →Registration/Program
- 08:52, 1 April 2008 diff hist 0 People:Christian Sternagel
- 08:52, 1 April 2008 diff hist 0 People:Christian Sternagel
- 08:51, 1 April 2008 diff hist +628 N People:Christian Sternagel 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...
