Conditional Confluence
From MaRDI portal
Software:25230
No author found.
Related Items (7)
Unnamed Item ⋮ The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems ⋮ The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques ⋮ Use of logical models for proving infeasibility in term rewriting ⋮ Nominal Confluence Tool
This page was built for software: Conditional Confluence
