Pages that link to "Item:Q2798268"
From MaRDI portal
The following pages link to Proof Relevant Corecursive Resolution (Q2798268):
Displayed 7 items.
- 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)
- (Q3384904) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)