EasyChair Smart SlideDocs/Log in
Author: Damien Pous

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

Completeness of Left Handed Kleene algebra via Cyclic Proofs

Completeness of Left Handed Kleene algebra via Cyclic Proofs

Anupam Das, Amina Doumane and Damien Pous

Allegories: decidability and graph homomorphisms

Allegories: decidability and graph homomorphisms

Damien Pous and Valeria Vignudelli

A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs

A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs

Christian Doczkal, Guillaume Combette and Damien Pous

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