On the Confluence of the Graphic Calculus with Penrose Diagrams (I)

José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas. On the Confluence of the Graphic Calculus with Penrose Diagrams (I). In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Volume 6927 of Lecture Notes in Computer Science, pages 169-176, Springer, 2011. [doi]

Abstract

Abstract is missing.