User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:24, 3 February 2023 diff hist +2 People:Carsten Fuhs updated e-mail address and role current
- 09:22, 13 November 2017 diff hist +184 WST WST 2018
- 12:27, 20 August 2017 diff hist +255 Nm User talk:Epayet Welcome! current
- 22:23, 10 July 2015 diff hist +14 m Termination Competition →Annual International Termination Competition
- 22:21, 10 July 2015 diff hist +143 Termination Competition update categories for TermComp 2015
- 22:14, 10 July 2015 diff hist +11 Termination Competition link to wiki page for C programs
- 22:12, 10 July 2015 diff hist +14 Termination Competition record TermComp state of 2014
- 22:02, 10 July 2015 diff hist +22 People:Carsten Fuhs now lecturer at Birkbeck
- 07:55, 29 July 2014 diff hist +36 Bibtex:AProVE14 Updated bibtex for AProVE System Description current
- 20:25, 25 May 2014 diff hist -13 Tools:AProVE reference current system description for AProVE at IJCAR 2014 current
- 20:22, 25 May 2014 diff hist +5 m Bibtex:AProVE14 →BibTex
- 20:17, 25 May 2014 diff hist +1,008 N Bibtex:AProVE14 reference to current system description for AProVE
- 11:19, 7 March 2014 diff hist 0 m TPDB TPDB 8.0.6 was already available in 2012, see also http://termcomp.uibk.ac.at/2012/rules.html
- 14:18, 4 March 2014 diff hist +252 Nm User talk:Ffrohn Welcome! current
- 16:50, 28 February 2014 diff hist +64 WST link to WST 2014, dates, location
- 12:08, 8 September 2013 diff hist +14 m People:Carsten Fuhs postdoc
- 12:16, 28 June 2012 diff hist -4 m Termination Competition 2012 Comments verb tense
- 12:14, 28 June 2012 diff hist +190 Termination Competition 2012 Comments Huge proofs generated already in 2010
- 20:38, 6 March 2012 diff hist +3 People:Carsten Fuhs C. Fuhs has moved to University College London
- 21:37, 7 November 2011 diff hist +229 Nm User talk:Hezzel Welcome! current
- 19:40, 21 September 2011 diff hist +1 m Termination Portal Grammar
- 20:05, 11 May 2011 diff hist -10 Termination Competition Higher order termination joined the competition in 2010
- 00:13, 15 February 2011 diff hist +34 TPDB mention version 8.* of TPDB
- 10:21, 30 December 2009 diff hist +231 Nm User talk:Schernhammer Welcome! current
- 17:34, 27 October 2009 diff hist 0 Tools:Rainbow Updated homepage (http://color.loria.fr has been a deadlink for a while now)
- 21:42, 13 May 2009 diff hist +8 m TPDB Version 5 was also used in the competition of Nov 2008
- 20:59, 13 May 2009 diff hist +31 Tools:AProVE set reference to the more recent IJCAR'06 paper
- 20:55, 13 May 2009 diff hist +658 N Bibtex:GST06 added IJCAR'06 paper on AProVE current
- 20:50, 13 May 2009 diff hist +38 Tools:AProVE added developer Fabian Emmes
- 13:46, 13 May 2009 diff hist +226 Nm User talk:Nguyen Welcome! current
- 09:50, 24 April 2009 diff hist +228 Nm User talk:UlrichSG Welcome! current
- 21:16, 25 November 2008 diff hist +5 WScT Update of previous events
- 16:02, 9 July 2008 diff hist +226 Nm User talk:Pons Welcome! current
- 18:22, 15 May 2008 diff hist -14 m WScT08 →Registration
- 14:47, 7 May 2008 diff hist +225 Nm User talk:Urbain Welcome! current
- 14:45, 7 May 2008 diff hist +225 Nm User talk:Contejea Welcome! current
- 13:29, 15 April 2008 diff hist +30 WScT08 →Registration/Program
- 19:36, 9 April 2008 diff hist +1 m Termination Competition typo
- 09:48, 7 April 2008 diff hist +60 What domain name? vote current
- 19:20, 31 March 2008 diff hist +29 m Tools:AProVE added link to Stephan Swiderski
- 19:15, 31 March 2008 diff hist +1 m People:Stephan Falke added missing brace
- 13:52, 31 March 2008 diff hist +1 m What domain name? typo
- 13:09, 31 March 2008 diff hist +298 What domain name? added proposal termination.at
- 09:09, 31 March 2008 diff hist +777 N Bibtex:FGMSTZ07 SAT'07 paper on SAT solving for finding polynomial interpretations (without and with negative constants)
- 09:04, 31 March 2008 diff hist +1 m Bibtex:SGST06 L Note/s/ in CS
- 08:53, 31 March 2008 diff hist 0 m Bibtex:MORV05 fixed typo in title current
