Pages that link to "Item:Q1854446"
From MaRDI portal
The following pages link to A theory of observables for logic programs (Q1854446):
Displayed 7 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← 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)
- 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)