Pages that link to "Item:Q1199926"
From MaRDI portal
The following pages link to Generalizing completeness results for loop checks in logic programming (Q1199926):
Displaying 6 items.
- The role of standardising apart in logic programming (Q1329744) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Redundancy elimination and loop checks for logic programs (Q1893733) (← links)
- Completeness and counter-example generations of a basic protocol logic (extended abstract) (Q2863872) (← links)
- (Q4854006) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)