Author:
Bonfante Guillaume,Guiraud Yves
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference45 articles.
1. Colin Adams,The knot book, American Mathematical Society, 2004.
2. Thomas Arts and Jürgen Giesl,Termination of term rewriting using dependency pairs, Theoretical Computer Science \textbf236 (2000), no. 1-2, 133-178.
3. Franz Baader and Tobias Nipkow,Term rewriting and all that, Cambridge University Press, 1998.
4. John Baez and Aaron Lauda,A history of n-categorical physics, draft version, 2006.
5. Patrick Baillot and Kazushige Terui,Light types for polynomial time computation in lambda-calculus, Proceedings of the 19th Symposium on Logic in Computer Science (LICS 04), 2004, pp. 266-275.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Higher-Dimensional Subdiagram Matching;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. On the Confluence of the Graphic Calculus with Penrose Diagrams (I);Computer Aided Systems Theory – EUROCAST 2011;2012