Pages that link to "Item:Q2915694"
From MaRDI portal
The following pages link to Coalgebraic Derivations in Logic Programming (Q2915694):
Displayed 8 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Constraint logic programming with a relational machine (Q511023) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)