Pages that link to "Item:Q3067470"
From MaRDI portal
The following pages link to Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470):
Displaying 9 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)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- (Q4989395) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- (Q5875350) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
