On the homology of associative algebras, Trans. Amer. Math. Soc, vol.296, issue.2, pp.641-659, 1986. ,
Term rewriting and all that, 1998. ,
Stability and Buchberger criterion for standard bases in power series rings, J. Pure Appl. Algebra, vol.66, issue.3, pp.219-227, 1990. ,
, , vol.201, pp.243-283, 1998.
Koszulity for nonquadratic algebras, J. Algebra, vol.239, issue.2, pp.705-734, 2001. ,
The diamond lemma for ring theory, Adv. in Math, vol.29, issue.2, pp.178-218, 1978. ,
Imbeddings into simple associative algebras. Algebra i Logika, vol.15, pp.117-142, 1976. ,
A theoretical basis for the reduction of polynomials to canonical forms, ACM SIGSAM Bull, vol.10, issue.3, pp.19-29, 1976. ,
Confluence Algebras and Acyclicity of the Koszul Complex, Algebr. Represent. Theory, vol.19, issue.3, pp.679-711, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01141738
Reduction operators and completion of rewriting systems, J. Symbolic Comput, vol.84, pp.57-83, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01325907
A lattice formulation of the noncommutative F 4 procedure, Internat. J. Algebra Comput, vol.29, issue.1, pp.23-40, 2019. ,
Syzygies among reduction operators, J. Pure Appl. Algebra, vol.223, issue.2, pp.721-737, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01578555
Gröbner bases for operads, Duke Math. J, vol.153, issue.2, pp.363-396, 2010. ,
Probabilistic rewriting: Normalization, termination, and unique normal forms, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 2019. ,
Coherent presentations of Artin monoids, Compos. Math, vol.151, issue.5, pp.957-998, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00682233
On Gröbner bases of noncommutative power series, Indag. Math. (N.S.), vol.9, issue.4, pp.503-519, 1998. ,
Convergent presentations and polygraphic resolutions of associative algebras, Math. Z, pp.1-67, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01006220
Higher-dimensional normalisation strategies for acyclicity, Adv. in Math, vol.231, issue.3-4, pp.2294-2351, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00531242
Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-00932845
Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math, vol.79, issue.2, pp.205-326, 1964. ,
Algorithmic operator algebras via normal forms in tensor rings, J. Symbolic Comput, vol.85, pp.247-274, 2018. ,
Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Comput, vol.9, issue.1, pp.1-26, 1990. ,
Complete rewriting systems and homology of monoid algebras, J. Pure Appl. Algebra, vol.65, issue.3, pp.263-275, 1990. ,
Representations of non-commutative quantum groups, Proc. Lond. Math. Soc, vol.110, issue.3, pp.57-82, 2015. ,
An introduction to commutative and noncommutative Gröbner bases, Theoret. Comput. Sci, vol.134, issue.1, pp.131-173, 1994. ,
Algèbre non commutative en Scratchpad: application au problème de la réalisation minimale analytique, 1992. ,
, Priddy. Koszul resolutions. Trans. Amer. Math. Soc, vol.152, pp.39-60, 1970.
Séries formelles et algèbres syntactiques, J. Algebra, vol.66, issue.2, pp.448-483, 1980. ,
Some algorithm problems for Lie algebras, Sibirsk. Mat. ?, vol.3, pp.292-296, 1962. ,
Word problems and a homological finiteness condition for monoids, J. Pure Appl. Algebra, vol.49, issue.1-2, pp.201-217, 1987. ,