Subject
Algebra and Number Theory
Reference12 articles.
1. Higher dimensional word problem;Burroni;Theoret. Comput. Sci.,1993
2. Penrose diagrams and 2-dimensional rewriting;Lafont,1992
3. Y. Lafont, Equational reasoning with 2-dimensional diagrams, Term Rewriting, Lecture Notes in Computer Science, Vol. 909, Springer, Berlin, 1995, pp. 170–195.
4. A new finiteness condition for monoids presented by complete rewriting systems;Lafont;J. Pure Appl. Algebra,1995
5. Y. Lafont, A. Prouté, Church–Rosser property and homology of monoids, Mathematical Structures in Computer Science, Vol. 1 (3), Cambridge University Press, Cambridge, 1991, pp. 297–326.
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献