TY - JOUR AU - Raoult, Jean-Claude TI - Finiteness results on rewriting systems JO - RAIRO. Informatique théorique PY - 1981 DA - 1981/// SP - 373 EP - 391 VL - 15 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1981__15_4_373_0/ UR - https://zbmath.org/?q=an%3A0491.03015 UR - https://www.ams.org/mathscinet-getitem?mr=670730 LA - en ID - ITA_1981__15_4_373_0 ER -