Pages that link to "Item:Q5246719"
From MaRDI portal
The following pages link to Bialgebraic Semantics for Logic Programming (Q5246719):
Displaying 16 items.
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- (Q4708918) (← links)
- (Q4842967) (← links)
- (Q4951497) (← links)
- (Q4989395) (← links)
- (Q5714443) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- (Q5875350) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)