Pages that link to "Item:Q1653010"
From MaRDI portal
The following pages link to The effects of adding reachability predicates in propositional separation logic (Q1653010):
Displaying 7 items.
- Strong-separation logic (Q2233486) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5090983) (← links)
- (Q5155678) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)