Pages that link to "Item:Q2915694"
From MaRDI portal
The following pages link to Coalgebraic derivations in logic programming (Q2915694):
Displaying 13 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)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- A coalgebraic decision procedure for NetKAT (Q2819821) (← links)
- Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
- (Q3204454) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- Coalgebraic logic programming: from Semantics to Implementation (Q5739982) (← links)