Login / Signup

Relating Labelled and Label-Free Bunched Calculi in BI Logic.

Didier GalmicheMichel MartiDaniel Méry
Published in: TABLEAUX (2019)
Keyphrases