The following pages link to Daniel Méry (Q2180512):
Displaying 17 items.
- Relating labelled and label-free bunched calculi in BI logic (Q2180513) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- (Q2848062) (← links)
- The semantics of BI and resource tableaux (Q3371525) (← links)
- Labelled cyclic proofs for separation logic (Q3382810) (← links)
- Tableaux and Resource Graphs for Separation Logic (Q3406689) (← links)
- (Q4411823) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- (Q4540540) (← links)
- (Q4809046) (← links)
- Separation Logic with One Quantified Variable (Q4981154) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- Characterizing Provability in BI’s Pointer Logic Through Resource Graphs (Q5387858) (← links)
- (Q5714444) (← links)
- (Q6159928) (← links)
- Internal and External Calculi: Ordering the Jungle without Being Lost in Translations (Q6462427) (← links)