Pages that link to "Item:Q2409734"
From MaRDI portal
The following pages link to A productivity checker for logic programming (Q2409734):
Displaying 8 items.
- 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)
- Productive corecursion in logic programming (Q4592714) (← links)
- (Q5002798) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)