IsaFoR

MaRDI QIDQ22075swMATHFDO

Official website http://cl-informatik.uibk.ac.at/software/ceta/

Described by source

• Termination of Isabelle functions via termination of rewriting

Cited in

(8)

• Certification of complexity proofs using CeTA
• CeTA
• CoLoR
• CoLL
• foetus
• Coccinelle
• Certification of classical confluence results for left-linear term rewrite systems
• AC dependency pairs revisited

This page was built for software: IsaFoR