EasyChair Smart SlideDocs/Log in
Author: Daniel Mery

This page shows all presentations of this author published in EasyChair Smart Slide.

Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic

Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic

Daniel Mery and Didier Galmiche

Proof Translations in BI logic

Proof Translations in BI logic

Didier Galmiche, Daniel Mery and Michel Marti

Labelled Cyclic Proofs for Separation Logic

Labelled Cyclic Proofs for Separation Logic

Didier Galmiche and Daniel Mery

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair