Vol-2094⫷ Vol-2095 ⫸Vol-2096
urn:nbn:de:0074-2095-0


Vol-2095/paper2⫷Vol-2095/paper3⫸Vol-2095/paper4
Didier GalmicheDaniel Méry

Labelled Connection-based Proof Search for Multiplicative Intuitionistic