Categorification, term rewriting and the Knuth-Bendix procedure

Journal of Pure and Applied Algebra

Volumn 215, Issue 5, 2011, Pages 728-740

  Beke, Tibor ^a  

^a University of Massachusetts Lowell   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78650518696     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpaa.2010.06.019     Document Type: Article

References (18)

1. Baader Franz, Nipkow Tobias Term Rewriting and All That 1998, Cambridge University Press.
2. Beke Tibor Operads from the viewpoint of categorical algebra. Contemp. Math. 1999, vol. 227:29-47. American Mathematical Society.
3. Burroni Albert Higher-dimensional word problems with applications to equational logic. Theoret. Comput. Sci. 1993, 115(1):43-62.
4. Jonathan A. Cohen, Coherence for rewriting 2-theories, Thesis, Australian National University
5. Jardine J.F. Supercoherence. J. Pure Appl. Algebra 1991, 75(2):103-194.
6. Johnstone P.T. Sketches of an Elephant: A Topos Theory Compendium, Vol. 2. Oxford Logic Guides 2002, vol. 44. Oxford University Press.
7. Kelly G.M. On MacLane's conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1964, 1:397-402.
8. Knuth Donald E., Bendix Peter B. Simple word problems in universal algebras. Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967) 1970, 263-297. Pergamon Press.
9. Lafont Yves Equational reasoning with 2-dimensional diagrams. Lecture Notes in Comput. Sci. 1995, vol. 909:170-195. Springer-Verlag.
10. Laplaza Miguel Coherence for categories with group structure: an alternative approach. J. Algebra 1983, 84(2):305-323.
11. Laplaza Miguel Coherence for associativity not an isomorphism. J. Pure Appl. Algebra 1972, 2(2):107-120.
12. MacLane Saunders Natural Associativity and Commutativity, Vol. 49. Rice Univ. Studies 1963, vol. 4.
13. MacLane Saunders Categories for the Working Mathematician 1971, Springer-Verlag.
14. Power John Enriched Lawvere theories. Theory Appl. Categ. 1999, 6(7):83-93.
15. Schneck Robert R. Natural deduction and coherence for non-symmetric linearly distributive categories. Theory Appl. Categ. 1999, 6(9):105-146.
16. Solian Alexandru Coherence in categorical groups. Comm. Algebra 1981, 9(10):1039-1057.
17. Squier Craig, Otto Friedrich, Kobayashi Yuji A finiteness condition for rewriting systems. Theoret. Comput. Sci. 1994, 131(2):271-294.
18. Ulbrich K.-H. Kohärenz in Kategorien mit Gruppenstruktur. J. Algebra 1981, 72(2):279-295.