Geodesic
Deduction over graphs under constraints : a soundness and completeness theorem
Diagrammes, Tome 29 (1993), Exposé no. 2, 24 p. Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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},
     year = {1993},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {29},
     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/