CoCoWeb

MaRDI QIDQ39825swMATHFDO

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

Cited in

(12)

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

This page was built for software: CoCoWeb