Decision problems in ordered rewriting
Abstract
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