Pages that link to "Item:Q5881206"

The following pages link to Termination proofs of well-moded logic programs via conditional rewrite systems (Q5881206):

Displayed 3 items.

• Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) ‎ (← links)
• Logicality of conditional rewrite systems (Q1978646) ‎ (← links)
• <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) ‎ (← links)