Pages that link to "Item:Q3090874"
From MaRDI portal
The following pages link to Coalgebraic Semantics for Derivations in Logic Programming (Q3090874):
Displaying 15 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3204454) (← links)
- (Q4989395) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)
- Algebra and Coalgebra in Computer Science (Q5492824) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- Coalgebraic logic programming: from Semantics to Implementation (Q5739982) (← links)
- (Q5875350) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)