CoCoWeb

MaRDI QIDQ39825swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-319-94205-6_23

Cited in

(12)

• Applications and extensions of context-sensitive rewriting
• Derivational complexity and context-sensitive Rewriting
• CSI
• Saigawa
• Confluence by critical pair analysis revisited
• Conditional Confluence
• CoLL
• Nagoya Termination Tool
• Cops
• CO3
• FORT
• scientific article; zbMATH DE number 7359428 (Why is no real title available?)

This page was built for software: CoCoWeb