Diagrammes de Penrose et réécriture en dimension 2
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 267-275. 
@article{CTGDC_1992__33_3_267_0,
     author = {Lafont, Y.},
     title = {Diagrammes de {Penrose} et r\'e\'ecriture en dimension $2$},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {267--275},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {33},
     number = {3},
     year = {1992},
     mrnumber = {1186951},
     zbl = {0769.68060},
     language = {fr},
     url = {http://archive.numdam.org/item/CTGDC_1992__33_3_267_0/}
}
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
SP  - 267
EP  - 275
VL  - 33
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1992__33_3_267_0/
LA  - fr
ID  - CTGDC_1992__33_3_267_0
ER  - 
%0 Journal Article
%A Lafont, Y.
%T Diagrammes de Penrose et réécriture en dimension $2$
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1992
%P 267-275
%V 33
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1992__33_3_267_0/
%G fr
%F CTGDC_1992__33_3_267_0
Lafont, Y. Diagrammes de Penrose et réécriture en dimension $2$. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 267-275. http://archive.numdam.org/item/CTGDC_1992__33_3_267_0/

[Bur91] Burroni A., Higher Dimensional Word Problem. Category Theory and Computer Science, LNCS 530, Springer-Verlag, 1991, pp. 94-105. | MR | Zbl

[DeJ90] Dershowitz N., Jouannaud J.P., Rewrite systems. Halidbook of Theoretical Computer Science, Vol. B, Elsevier, 1990. | MR | Zbl

[JoS91] Joyal A., Street R., The Geometry of Tensor Calculus. Advances in Mathematics 88, 1991, pp. 55-112. | MR | Zbl

[KnB70] Knuth D.E., Bendix P.B., Simple word problems in universal algebras. Abstract Algebra (ed. J. Leech), Pergamou Press, 1970, pp. 263-297. | MR | Zbl

[PeR86] R. Penrose & W. Rindler, Spinors and space-time, Vol. 1: Twospinor calculus and relativistic fields. Calnbridge University Press, 1986. | MR | Zbl