User contributions
From Termination-Portal.org
Jump to navigationJump to search- 16:57, 29 March 2008 diff hist +19 Termination Portal
- 16:57, 29 March 2008 diff hist +34 Termination Portal
- 16:55, 29 March 2008 diff hist +5 Template:AddTool
- 16:55, 29 March 2008 diff hist +401 N Template:AddReference New page: <includeonly> <!-- Please fill in the data so that the reference can be added to some default categories and a simple BibTeX page can be created. You may extend that B...
- 16:53, 29 March 2008 diff hist 0 Template:AddTool
- 16:52, 29 March 2008 diff hist +422 Termination Portal
- 16:52, 29 March 2008 diff hist +325 N Category:Bibtex New page: Below is a list of references for publications on termination analysis and related areas. To make this list more useful, please consider adding useful references: <createarticle> type=cr... current
- 16:49, 29 March 2008 diff hist -133 Termination Portal →News
- 16:30, 29 March 2008 diff hist -28 Termination Portal →Welcome to the World of Termination
- 16:30, 29 March 2008 diff hist -1 Termination Portal →Welcome to the World of Termination
- 16:30, 29 March 2008 diff hist +83 Termination Portal →Welcome to the World of Termination
- 16:27, 29 March 2008 diff hist 0 MediaWiki:Sidebar
- 16:14, 29 March 2008 diff hist +30 MediaWiki:Sidebar
- 14:02, 29 March 2008 diff hist +1,222 N WST New page: The International Workshop on Termination (WST) has been held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle ...
- 13:53, 29 March 2008 diff hist +12 Termination Portal
- 13:52, 29 March 2008 diff hist +438 Termination Portal
- 13:46, 29 March 2008 diff hist +1 m Termination Portal →Welcome
- 13:46, 29 March 2008 diff hist +35 Termination Portal
- 13:44, 29 March 2008 diff hist +323 N Termtools New page: The [mailto:termtools@lists.lri.fr Termtools mailing list] has been installed to facilitate discussion about termination tools in general and the [[Termination Competit...
- 13:41, 29 March 2008 diff hist +39 MediaWiki:Sidebar