User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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