Pages that link to "Item:Q1854446"
From MaRDI portal
The following pages link to A theory of observables for logic programs (Q1854446):
Displaying 11 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Correct Answers for First Order Logic (Q4923518) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
