Conditional Confluence

MaRDI QIDQ25230swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-08918-8_31

Described by source

• Conditional confluence (system description)

Cited in

(13)

• The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
• Complexity of conditional term rewriting
• Nominal confluence tool
• Narrowing trees for syntactically deterministic conditional term rewriting systems
• TALP
• CSI
• Saigawa
• VMTL
• ConCon
• CO3
• The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
• Formalizing soundness and completeness of unravelings
• Use of logical models for proving infeasibility in term rewriting

This page was built for software: Conditional Confluence