Pages that link to "Item:Q1893733"

The following pages link to Redundancy elimination and loop checks for logic programs (Q1893733):

Displaying 7 items.

• An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
• Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
• Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
• Avoiding duplicate proofs with the foothold refinement (Q1924821) (← links)
• (Q4854006) (← links)
• Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739) (← links)
• Loop checks for logic programs with functions (Q5958765) (← links)