Pages that link to "Item:Q799098"

The following pages link to Closures and fairness in the semantics of programming logic (Q799098):

Displaying 2 items.

• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)