Pages that link to "Item:Q672703"

The following pages link to Fully abstract compositional semantics for an algebra of logic programs (Q672703):

Displaying 4 items.

• Abstract interpretation of resolution-based semantics (Q1035705) (← links)
• The reduced relative power operation on abstract domains (Q1285656) (← links)
• A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
• Knowledge representation with multiple logical theories and time (Q4421284) (← links)