Pages that link to "Item:Q3129509"
From MaRDI portal
The following pages link to A closer look at declarative interpretations (Q3129509):
Displaying 7 items.
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658) (← links)
- Towards a logical semantics for pure Prolog (Q1818324) (← links)
- On the declarative and procedural semantics of logic programs (Q1823724) (← links)
- Top-down semantics of fair computations of logic programs (Q3721791) (← links)
- On the declarative and procedural semantics of definite metalogic programs (Q4885624) (← links)
- S-semantics -- an example (Q6102251) (← links)