The following pages link to Didier Galmiche (Q290916):
Displaying 50 items.
- A logic of separating modalities (Q290917) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- Program development in constructive type theory (Q1190474) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- (Q1575925) (redirect page) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- 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)
- (Q2701978) (← links)
- (Q2703720) (← links)
- (Q2757832) (← links)
- (Q2848062) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- Nondeterministic Phase Semantics and the Undecidability of Boolean BI (Q2946690) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- (Q3007292) (← links)
- Label-Free Proof Systems for Intuitionistic Modal Logic IS5 (Q3066103) (← links)
- Looking at Separation Algebras with Boolean BI-eyes (Q3190171) (← 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)
- (Q3408154) (← links)
- A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- (Q4028371) (← links)
- (Q4223029) (← links)
- (Q4223030) (← links)
- (Q4255504) (← links)
- (Q4282536) (← links)
- (Q4411823) (← links)
- (Q4412869) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- (Q4501142) (← links)
- (Q4501574) (← links)
- (Q4513584) (← links)
- (Q4540540) (← links)
- A modal separation logic for resource dynamics (Q4612424) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)
- (Q4636028) (← links)
- (Q4809046) (← links)
- Separation Logic with One Quantified Variable (Q4981154) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191502) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- A substructural epistemic resource logic: theory and modelling applications (Q5216343) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
