Pages that link to "Item:Q1100934"
From MaRDI portal
The following pages link to A fixpoint semantics of Horn sentences based on substitution sets (Q1100934):
Displaying 4 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)
- A New Algorithm for Computing Least Generalization of a Set of Atoms (Q5041770) (← links)
