IsaFoR

swMATH10106MaRDI QIDQ22075FDOQ22075

Author name not available (Why is that?)

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

Described by source

• Termination of Isabelle functions via termination of rewriting

Cited In (8)

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

This page was built for software: IsaFoR