Pages that link to "Item:Q5739982"
From MaRDI portal
The following pages link to Coalgebraic logic programming: from Semantics to Implementation (Q5739982):
Displayed 12 items.
- CoALP (Q27977) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← 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)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- A Type-Theoretic Approach to Resolution (Q5743587) (← links)
- (Q5875350) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)