Pages that link to "Item:Q1100934"

The following pages link to A fixpoint semantics of Horn sentences based on substitution sets (Q1100934):

Displaying 3 items.

• Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
• Recursion equation sets computing logic programs (Q920624) (← links)
• A compositional semantics for logic programs (Q1314414) (← links)