The following pages link to (Q3086788):
Displaying 4 items.
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- (Q4779112) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)