Pages that link to "Item:Q1653006"
From MaRDI portal
The following pages link to Modular tableaux calculi for separation theories (Q1653006):
Displaying 7 items.
- (Q3121529) (← links)
- Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles (Q3163885) (← links)
- Tableaux and Resource Graphs for Separation Logic (Q3406689) (← links)
- Modular Labelled Sequent Calculi for Abstract Separation Logics (Q4579962) (← links)
- (Q5155678) (← links)
- (Q5376651) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)