Pages that link to "Item:Q1350349"

The following pages link to Modular proofs for completeness of hierarchical term rewriting systems (Q1350349):

Displayed 8 items.

• Modular aspects of term graph rewriting (Q1275016) ‎ (← links)
• Simple termination of rewrite systems (Q1392146) ‎ (← links)
• Hierarchical termination revisited. (Q1853138) ‎ (← links)
• Modular termination proofs for rewriting using dependency pairs (Q1864874) ‎ (← links)
• Termination of term rewriting using dependency pairs (Q1978641) ‎ (← links)
• Modular and incremental automated termination proofs (Q2583289) ‎ (← links)
• Modular and incremental proofs of AC-termination (Q2643544) ‎ (← links)
• Modular Termination of Basic Narrowing (Q3522005) ‎ (← links)