https://www.glc.us.es/web/index.php?action=history&feed=atom&title=PROTEMO 2026-07-18T04:07:35Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/web/index.php?title=PROTEMO&diff=876&oldid=prev 2010-06-01T17:02:43Z

<p>New page: * &#039;&#039;&#039;Title:&#039;&#039;&#039; Proving termination with multiset orderings in PVS: theory,methodology and applications * &#039;&#039;&#039;Autores:&#039;&#039;&#039; {{jalonso}}, {{mjoseh}} y {{fjesus}}. * &#039;&#039;&#039;Fecha de realización:&#039;&#039;&#039;...</p> <p><b>Página nueva</b></p><div>* &#039;&#039;&#039;Title:&#039;&#039;&#039; Proving termination with multiset orderings in PVS: theory,methodology and applications<br /> * &#039;&#039;&#039;Autores:&#039;&#039;&#039; {{jalonso}}, {{mjoseh}} y {{fjesus}}.<br /> * &#039;&#039;&#039;Fecha de realización:&#039;&#039;&#039; Noviembre de 2009.<br /> * &#039;&#039;&#039;Abstract:&#039;&#039;&#039; This theory is a simple and smart formalization of abstract confluence properties such Newman&#039;s Lemma or the Church-Rosser property. This formalization is based on the paper &quot;Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems &quot; of G. Huet.<br /> * &#039;&#039;&#039;Code:&#039;&#039;&#039; La formalización en PVS se encuentra en ...<br /> * &#039;&#039;&#039;Documentation:&#039;&#039;&#039;</div>

Mjoseh