User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 17:48, 29 March 2008 diff hist +7 People:René Thiemann
- 17:48, 29 March 2008 diff hist 0 People:René Thiemann
- 17:47, 29 March 2008 diff hist +672 N People:René Thiemann 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...
- 17:43, 29 March 2008 diff hist +632 N People:Jürgen Giesl 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...
- 17:38, 29 March 2008 diff hist +7 WST
- 13:20, 29 March 2008 diff hist +70 Termination Portal
- 11:33, 29 March 2008 diff hist +1 People:Peter Schneider-Kamp
- 11:31, 29 March 2008 diff hist +579 N People:Peter Schneider-Kamp 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...