Geodesic

Éléments de théorie des patchworks (I)
Exposé no. 1, 29 p.
Deduction over graphs under constraints : a soundness and completeness theorem
Exposé no. 2, 24 p.