Voir la notice de l'article provenant de la source Numdam
@article{DIA_1993__29__A2_0,
author = {Lellahi, Seyed-Kazem and Spyratos, Nicolas},
title = {Deduction over graphs under constraints : a soundness and completeness theorem},
journal = {Diagrammes},
note = {talk:2},
pages = {LS1--LS24},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {29},
year = {1993},
mrnumber = {1283882},
zbl = {0804.18004},
language = {en},
url = {http://geodesic.mathdoc.fr/item/DIA_1993__29__A2_0/}
}
TY - JOUR AU - Lellahi, Seyed-Kazem AU - Spyratos, Nicolas TI - Deduction over graphs under constraints : a soundness and completeness theorem JO - Diagrammes N1 - talk:2 PY - 1993 SP - LS1 EP - LS24 VL - 29 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://geodesic.mathdoc.fr/item/DIA_1993__29__A2_0/ LA - en ID - DIA_1993__29__A2_0 ER -
%0 Journal Article %A Lellahi, Seyed-Kazem %A Spyratos, Nicolas %T Deduction over graphs under constraints : a soundness and completeness theorem %J Diagrammes %Z talk:2 %D 1993 %P LS1-LS24 %V 29 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://geodesic.mathdoc.fr/item/DIA_1993__29__A2_0/ %G en %F DIA_1993__29__A2_0
Lellahi, Seyed-Kazem; Spyratos, Nicolas. Deduction over graphs under constraints : a soundness and completeness theorem. Diagrammes, Tome 29 (1993), Exposé no. 2, 24 p.. http://geodesic.mathdoc.fr/item/DIA_1993__29__A2_0/