User contributions for UlrichSG
24 April 2009
- 10:4910: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:4610: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