The following pages link to (Q4035697):
Displaying 6 items.
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
