Diagrammes de Penrose et réécriture en dimension $2$

Lafont, Y.. "Diagrammes de Penrose et réécriture en dimension $2$." Cahiers de Topologie et Géométrie Différentielle Catégoriques 33.3 (1992): 267-275. <http://eudml.org/doc/91505>.

@article{Lafont1992,
author = {Lafont, Y.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {monoidal category; rewriting system; elimination of variables in equational reasoning},
language = {fre},
number = {3},
pages = {267-275},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Diagrammes de Penrose et réécriture en dimension $2$},
url = {http://eudml.org/doc/91505},
volume = {33},
year = {1992},
}

TY - JOUR
AU - Lafont, Y.
TI - Diagrammes de Penrose et réécriture en dimension $2$
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1992
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 33
IS - 3
SP - 267
EP - 275
LA - fre
KW - monoidal category; rewriting system; elimination of variables in equational reasoning
UR - http://eudml.org/doc/91505
ER -