EasyChair Smart SlideUser guide
Author: Dominique Larchey-Wendling

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

Proof Pearl: Constructive Extraction of Cycle Finding Algorithms

Proof Pearl: Constructive Extraction of Cycle Finding Algorithms

Dominique Larchey-Wendling

Constructive Decision via Redundancy-free Proof-Search

Constructive Decision via Redundancy-free Proof-Search

Dominique Larchey-Wendling

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair