Pages that link to "Item:Q730473"

The following pages link to Normal forms and normal theories in conditional rewriting (Q730473):

Displaying 6 items.

• Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
• Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
• Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)