Pages that link to "Item:Q3090874"
From MaRDI portal
The following pages link to Coalgebraic Semantics for Derivations in Logic Programming (Q3090874):
Displayed 7 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- (Q4989395) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- (Q5875350) (← links)