Word problems and a homological finiteness condition for monoids

Abels, 1979, An example of a finitely presented solvable group, 36, 205 H. Abels and K.S. Brown, Finiteness properties of solvable S-arithmetic groups, Preprint. Bieri, 1976, Homological dimension of discrete groups, Queen Mary College Mathematics Notes Bieri, 1980, A connection between the integral homology and the centre of a rational linear group, Math. Z., 170, 263, 10.1007/BF01214865 Book, 1983, Thue systems and the Church-Rosser property: replacement systems, specification of formal languages and presentations of monoids, 1 Brown, 1982 K.S. Brown, Finiteness properties of groups, Preprint. Cartan, 1956 Church, 1936, Some properties of conversion, Trans. Amer. Math. Soc., 39, 472, 10.1090/S0002-9947-1936-1501858-0 Cohn, 1965 Fox, 1953, Free differential calculus I, Ann. of Math., 57, 547, 10.2307/1969736 Hilton, 1971 Houghton, 1978, The first cohomology of a group with permutation module coefficients, Arch. Math., 31, 254, 10.1007/BF01226445 Huet, 1980, Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach., 27, 797, 10.1145/322217.322230 Jantzen, 1985, A note on a special one-rule semi-Thue system, Inform. Process. Lett., 21, 135, 10.1016/0020-0190(85)90018-3 Newman, 1943, On theories with a combinatorial definition of “equivalence”, Ann. of Math., 43, 223, 10.2307/1968867 Nivat, 1971, Congruences parfaites et quasi-parfaites, Seminaire Dubreil, 7 Stallings, 1963, A finitely-presented group whose 3-dimensional integral homology is not finitely-generated, Amer. J. Math., 85, 541, 10.2307/2373106