J. David and . Anick, On the homology of associative algebras, Transactions of the American Mathematical Society, vol.296, issue.2, pp.641-659, 1986.

D. Ara and F. Métayer, The Brown-Golasi´nskiGolasi´nski model structure on strict ?-groupoids revisited, Homology Homotopy Appl, pp.121-142, 2011.

F. Baader and T. Nipkow, Term rewriting and all that, 1998.

H. Baues, Combinatorial homotopy and 4-dimensional complexes, de Gruyter Expositions in Mathematics, vol.2, 1991.
DOI : 10.1515/9783110854480

H. Baues and E. Gabriel-minian, Track Extensions of Categories and Cohomology, K-Theory, vol.23, issue.1, pp.1-13, 2001.
DOI : 10.1023/A:1017521709521

H. Baues and G. Wirsching, Cohomology of small categories, Journal of Pure and Applied Algebra, vol.38, issue.2-3, pp.187-211, 1985.
DOI : 10.1016/0022-4049(85)90008-8

V. Ronald, F. Book, and . Otto, String-rewriting systems, Texts and Monographs in Computer Science, 1993.

K. S. Brown, The Geometry of Rewriting Systems: A Proof of the Anick-Groves-Squier Theorem, Math. Sci. Res. Inst. Publ, vol.23, pp.137-163, 1989.
DOI : 10.1007/978-1-4613-9730-4_6

R. Brown and J. Huebschmann, Identities among relations, Low-dimensional topology (Bangor, 1979), Soc. Lecture Note Ser, vol.48, pp.153-202, 1982.

A. Burroni, Higher-dimensional word problems with applications to equational logic, Theoretical Computer Science, vol.115, issue.1, pp.43-62, 1993.
DOI : 10.1016/0304-3975(93)90054-W

E. Daniel and . Cohen, A monoid which is right-FP ? but not left-FP 1 , Bull, London Math. Soc, vol.24, issue.4, pp.340-342, 1992.

R. Cremanns and F. Otto, Finite Derivation Type Implies The Homological Finiteness Condition FP3, Journal of Symbolic Computation, vol.18, issue.2, pp.91-112, 1994.
DOI : 10.1006/jsco.1994.1039

R. H. Fox, Free Differential Calculus. I: Derivation in the Free Group Ring, The Annals of Mathematics, vol.57, issue.3, pp.547-560, 1953.
DOI : 10.2307/1969736

R. J. John and . Groves, Rewriting systems and homology of groups, Groups?Canberra, Lecture Notes in Mathematics, vol.1456, pp.114-141, 1989.

Y. Guiraud, Termination orders for three-dimensional rewriting, Journal of Pure and Applied Algebra, vol.207, issue.2, pp.341-371, 2006.
DOI : 10.1016/j.jpaa.2005.10.011
URL : http://doi.org/10.1016/j.jpaa.2005.10.011

Y. Guiraud and P. Malbos, Higher-dimensional categories with finite derivation type, Theory and Applications of Categories, vol.22, issue.18, pp.420-478, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00326974

D. Kapur and P. Narendran, A finite thue system with decidable word problem and without equivalent finite canonical system, Theoretical Computer Science, vol.35, issue.2-3, pp.337-344, 1985.
DOI : 10.1016/0304-3975(85)90023-4

Y. Kobayashi, Complete rewriting systems and homology of monoid algebras, Journal of Pure and Applied Algebra, vol.65, issue.3, pp.263-275, 1990.
DOI : 10.1016/0022-4049(90)90106-R

Y. Kobayashi and F. Otto, ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS, International Journal of Algebra and Computation, vol.11, issue.03, pp.391-403, 2001.
DOI : 10.1142/S0218196701000577

Y. Lafont, A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier), Journal of Pure and Applied Algebra, vol.98, issue.3, pp.229-244, 1995.
DOI : 10.1016/0022-4049(94)00043-I

Y. Lafont, F. Métayer, and K. Worytkiewicz, A folk model structure on omega-cat, Advances in Mathematics, vol.224, issue.3, pp.1183-1231, 2010.
DOI : 10.1016/j.aim.2010.01.007
URL : https://hal.archives-ouvertes.fr/hal-00194231

X. Leroy, The Objective Caml system, with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon), 2008.

M. Livernet and B. Richter, An interpretation of E n -homology as functor homology, Mathematische Zeitschrift, vol.132, issue.1, pp.193-219, 2011.
DOI : 10.1007/s00209-010-0722-5

J. Lévy, Réductions correctes et optimales dans le ?-calcul, Thèse de doctorat d'État, 1978.

C. Roger, P. E. Lyndon, and . Schupp, Combinatorial group theory, Classics in Mathematics, 2001.

S. Mcglashan, E. Pasku, and S. J. Pride, FINITENESS CONDITIONS FOR REWRITING SYSTEMS, International Journal of Algebra and Computation, vol.15, issue.01, pp.175-205, 2005.
DOI : 10.1142/S0218196705002074

P. Melliès, A diagrammatic standardization theorem, Processes, Terms and Cycles: Steps on the Road to Infinity (Aart Middeldorp, 2002.

S. Mimram, Computing critical pairs in 2-dimensional rewriting systems, preprint, 2010.

B. Mitchell, Rings with several objects, Advances in Mathematics, vol.8, issue.1, pp.1-161, 1972.
DOI : 10.1016/0001-8708(72)90002-3
URL : http://doi.org/10.1016/0001-8708(72)90002-3

F. Métayer, Resolutions by polygraphs, Theory and Applications of Categories, vol.11, pp.148-184, 2003.

Y. Métivier, About the rewriting systems produced by the Knuth-Bendix completion algorithm, Information Processing Letters, vol.16, issue.1, pp.31-34, 1983.
DOI : 10.1016/0020-0190(83)90009-1

M. Herman and A. Newman, On theories with a combinatorial definition of "equivalence, Annals of Mathematics, vol.43, issue.2, pp.223-243, 1942.

J. Stephen and . Pride, Low-dimensional homotopy theory for monoids, Internat. J. Algebra Comput, vol.5, issue.6, pp.631-649, 1995.

K. Reidemeister and Ü. Identitäten-von-relationen, ??ber Identit??ten von Relationen, Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg, vol.16, issue.3-4, pp.114-118, 1949.
DOI : 10.1007/BF03343521

C. Craig and . Squier, Word problems and a homological finiteness condition for monoids, J. Pure Appl. Algebra, vol.49, issue.12, pp.201-217, 1987.

C. Craig, F. Squier, Y. Otto, and . Kobayashi, A finiteness condition for rewriting systems, Theoret. Comput. Sci, vol.131, issue.2, pp.271-294, 1994.

R. Street, The algebra of oriented simplexes, Journal of Pure and Applied Algebra, vol.49, issue.3, pp.149-181, 1976.
DOI : 10.1016/0022-4049(87)90137-X

C. Wells, Extension theories for categories, preliminary report, 1979.