@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] Higher Dimensional Word Problem. Category Theory and Computer Science, LNCS 530, Springer-Verlag, 1991, pp. 94-105. | MR | Zbl
,[DeJ90] Rewrite systems. Halidbook of Theoretical Computer Science, Vol. B, Elsevier, 1990. | MR | Zbl
, ,[JoS91] The Geometry of Tensor Calculus. Advances in Mathematics 88, 1991, pp. 55-112. | MR | Zbl
, ,[KnB70] Simple word problems in universal algebras. Abstract Algebra (ed. J. Leech), Pergamou Press, 1970, pp. 263-297. | MR | Zbl
, ,[PeR86] Spinors and space-time, Vol. 1: Twospinor calculus and relativistic fields. Calnbridge University Press, 1986. | MR | Zbl
& ,