Executable Transitive Closures

MaRDI QIDQ7361420FDO

Authors René Thiemann

Publication date 29 February 2012

Cites work

• Certification of Termination Proofs Using CeTA
• The size-change principle for program termination

This page was built for software: Executable Transitive Closures