Diagrammes, Tome 29 (1993)

Éléments de théorie des patchworks (I)

Lair, Christian

Exposé no. 1, 29 p.

Deduction over graphs under constraints : a soundness and completeness theorem

Lellahi, Seyed-Kazem ; Spyratos, Nicolas

Exposé no. 2, 24 p.