CoCoWeb

swMATH28111MaRDI QIDQ39825FDOQ39825

Author name not available (Why is that?)

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

Cited In (12)

• Confluence by critical pair analysis revisited
• Title not available (Why is that?)
• 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