The following pages link to CoALP (Q27977):
Displayed 21 items.
- A game semantics for disjunctive logic programming (Q388214) (← 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)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- A productivity checker for logic programming (Q2409734) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- (Q2915694) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Coalgebraic Semantics for Derivations in Logic Programming (Q3090874) (← links)
- (Q3121528) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- (Q4989395) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- Bialgebraic Semantics for Logic Programming (Q5246719) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- A Type-Theoretic Approach to Resolution (Q5743587) (← links)
- (Q5875350) (← links)