User contributions
From Termination-Portal.org
Jump to navigationJump to search- 10:49, 24 April 2009 diff hist +610 N News:Certified non-standard termination 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
- 10:46, 24 April 2009 diff hist +718 N Certification of Relative Termination and Termination modulo Theories Submitted proposal. Sorry for the long page title :) current
