User contributions
From Termination-Portal.org
Jump to navigationJump to search- 09:17, 28 November 2012 diff hist +9 People:Peter Schneider-Kamp
- 09:17, 28 November 2012 diff hist +8 People:Peter Schneider-Kamp
- 14:50, 16 December 2009 diff hist +16 WST
- 14:48, 16 December 2009 diff hist +102 WST
- 04:34, 20 April 2009 diff hist -1 m People:Peter Schneider-Kamp
- 22:37, 23 February 2009 diff hist +13 People:Peter Schneider-Kamp
- 10:21, 27 November 2008 diff hist +239 Nm User talk:Polytool Welcome! current
- 09:08, 10 November 2008 diff hist +9 Termination Portal commented publications listing as this is not up to date at all
- 07:45, 2 November 2008 diff hist -204 Poll:Test current
- 07:07, 2 November 2008 diff hist -4 Poll:Test
- 07:06, 2 November 2008 diff hist -6 Poll:Test
- 07:05, 2 November 2008 diff hist 0 Poll:Test
- 07:05, 2 November 2008 diff hist +214 Poll:Test
- 06:55, 2 November 2008 diff hist +96 N Poll:Test New page: <poll> Test Poll This poll is nice. No one likes this poll. Polly want crackers! </poll>
- 16:22, 29 October 2008 diff hist +1,426 Logic Programming
- 16:18, 29 October 2008 diff hist +605 N News:Logic Programming Category of the Termination Competition New page: <!-- 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 to link to... current
- 16:16, 29 October 2008 diff hist +111 Logic Programming
- 16:08, 29 October 2008 diff hist +721 N Logic Programming New page: This page is to record the current status of discussion on cleaning up the Logic Programming Category of the Termination Competition. (Discussion should take place on the termtools maili...
- 13:10, 28 October 2008 diff hist +238 Nm User talk:Hirokawa Welcome! current
- 07:44, 18 July 2008 diff hist +235 Nm User talk:Aschnabl Welcome! current
- 13:37, 17 July 2008 diff hist +235 Nm User talk:Georg.moser Welcome! current
- 13:57, 19 May 2008 diff hist +234 Nm User talk:Slucas Welcome! current
- 13:56, 19 May 2008 diff hist +234 Nm User talk:Hofbauer Welcome! current
- 11:03, 14 May 2008 diff hist +234 Nm User talk:Binabik Welcome! current
- 06:04, 5 May 2008 diff hist +233 Nm User talk:Pierre.Lescanne Welcome! current
- 06:23, 8 April 2008 diff hist +685 N Bibtex:GSST06 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ... current
- 05:57, 8 April 2008 diff hist -4 m News:Adding References
- 05:57, 8 April 2008 diff hist +263 News:Adding References
- 15:08, 7 April 2008 diff hist +31 News:Domain Registered current
- 15:07, 7 April 2008 diff hist +8 News:Domain name current
- 15:07, 7 April 2008 diff hist +2 News:Termination Portal Online current
- 15:06, 7 April 2008 diff hist +668 N News:Domain Registered New page: <!-- 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 to link to...
- 09:45, 1 April 2008 diff hist +55 Tools:TTT2
- 12:31, 31 March 2008 diff hist +56 What domain name?
- 07:25, 31 March 2008 diff hist +38 People:Stephan Swiderski
- 11:43, 30 March 2008 diff hist +36 People:Peter Schneider-Kamp
- 11:42, 30 March 2008 diff hist +42 Tools:AProVE
- 21:35, 29 March 2008 diff hist -17 People:René Thiemann
- 21:22, 29 March 2008 diff hist +810 N Tools:TALP 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...
- 21:10, 29 March 2008 diff hist -29 Bibtex:Ohlebusch01
- 21:10, 29 March 2008 diff hist +684 N Bibtex:Ohlebusch01 New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...
- 20:59, 29 March 2008 diff hist +28 Bibtex:SGST06
- 20:55, 29 March 2008 diff hist +50 Bibtex:SGST06
- 20:54, 29 March 2008 diff hist -12 Termination Portal →Welcome
- 20:53, 29 March 2008 diff hist -2 News:Termination Portal Online
- 20:53, 29 March 2008 diff hist 0 Template:AddNews current
- 20:49, 29 March 2008 diff hist +627 N News:Termination Portal Online New page: <!-- 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 to link to...
- 18:29, 29 March 2008 diff hist -4 People:Peter Schneider-Kamp
- 18:28, 29 March 2008 diff hist +46 People:Peter Schneider-Kamp
- 17:49, 29 March 2008 diff hist -31 People:René Thiemann
