http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=UlrichSG 2026-04-05T17:28:31Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=News:Certified_non-standard_termination&diff=731 2009-04-24T10:49:15Z

<p>UlrichSG: New page: &lt;!-- 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...</p> <hr /> <div>&lt;!--<br /> Please insert the corresponding information below so that<br /> the news page can be generated automatically.<br /> <br /> Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ...<br /> Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....).<br /> Example:<br /> |text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year!<br /> |date = Sep 8 - Nov 1, 2008<br /> --&gt;<br /> <br /> {{News<br /> |text= Proposal: [[Certification of Relative Termination and Termination modulo Theories]]<br /> |date= Apr 24, 2009<br /> }}</div>

UlrichSG http://termination-portal.org/mediawiki/index.php?title=Certification_of_Relative_Termination_and_Termination_modulo_Theories&diff=730 2009-04-24T10:46:26Z

<p>UlrichSG: Submitted proposal. Sorry for the long page title :)</p> <hr /> <div>== Proposal ==<br /> <br /> Add certified counterparts to the following categories:<br /> <br /> * SRS Relative<br /> * TRS Relative<br /> * TRS Termination modulo Theory<br /> <br /> <br /> == Rationale ==<br /> <br /> In the 2008 competition, only full termination (of TRSs and SRSs) could be certified. Since then, [[Tools:CoLoR|CoLoR]] has added support for relative and modulo-theory termination proofs. There are already non-certified categories for these types of proofs, so it would make sense to have certified ones, too. This should be possible with very little effort and encourage developers of both provers and certification tools to consider these and other forms of non-standard termination problems.<br /> <br /> <br /> == Tools interested in participating ==<br /> <br /> * [[Tools:AProVE|AProVE]]</div>

UlrichSG