Pages that link to "Item:Q3578389"
From MaRDI portal
The following pages link to Theoretical Foundations and Semantics of Logic Programming (Q3578389):
Displaying 9 items.
- Compositionality properties of SLD-derivations (Q1274454) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Founded semantics and constraint semantics of logic rules (Q1709704) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Foundations of Logic Programming in Hybridised Logics (Q2787338) (← links)
- Logic Foundations of the OCL Modelling Language (Q2938536) (← links)
- Declarative Logic Programming: Theory, Systems, and Applications (Q4557745) (← links)
- Observable Semantics for Constraint Logic Programs (Q4763533) (← links)