Pages that link to "Item:Q5170836"
From MaRDI portal
The following pages link to Conditional Confluence (System Description) (Q5170836):
Displaying 9 items.
- Conditional Confluence (Q25230) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Certified equational reasoning via ordered completion (Q2305436) (← links)
- Nominal Confluence Tool (Q2817917) (← links)
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- (Q2980968) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
