TY - JOUR AU - Lescanne, Pierre TI - Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems JO - RAIRO. Informatique théorique PY - 1982 DA - 1982/// SP - 331 EP - 347 VL - 16 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1982__16_4_331_0/ UR - https://zbmath.org/?q=an%3A0518.68025 UR - https://www.ams.org/mathscinet-getitem?mr=707635 LA - en ID - ITA_1982__16_4_331_0 ER -