The following pages link to Resultant semantics for prolog (Q4895546):
Displayed 6 items.
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Compositionality properties of SLD-derivations (Q1274454) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Correct Answers for First Order Logic (Q4923518) (← links)