Pages that link to "Item:Q280198"
From MaRDI portal
The following pages link to Exploiting parallelism in coalgebraic logic programming (Q280198):
Displaying 7 items.
- CoALP (Q27977) (← links)
- A cooperative parallelization approach for property-directed \(k\)-induction (Q784140) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Coalgebraic derivations in logic programming (Q2915694) (← links)
- (Q4989395) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)