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