VMTL

MaRDI QIDQ22034swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-02348-4_20

Cited in

(11)

• Proving termination properties with \textsc{mu-term}
• Complexity of conditional term rewriting
• Program inversion for tail recursive functions
• Proving termination in the context-sensitive dependency pair framework
• Jambox
• MU-TERM
• InvX
• Conditional Confluence
• Dependency pairs for proving termination properties of conditional term rewriting systems
• Characterizing and proving operational termination of deterministic conditional term rewriting systems
• Context-sensitive dependency pairs

This page was built for software: VMTL