Executable Transitive Closures of Finite Relations

MaRDI QIDQ7361316FDO

Authors Christian Sternagel, René Thiemann

Publication date 14 March 2011

Cites work

• Certification of Termination Proofs Using CeTA

Cited in

(4)

• Network Security Policy Verification
• First-Order Rewriting
• Planarity Certificates
• Knowledge-based programs

This page was built for software: Executable Transitive Closures of Finite Relations