Decision problems in ordered rewriting
Résumé
Nous montrons que la confluence de la réécriture ordonnée est décidable lorsque les regles sont orientées par un ordre lpo. La confluence des systemes contraints est indécidable ainsi que la réductibilité close