Decision problems in ordered rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Decision problems in ordered rewriting

Paliath Narendran
  • Function : Author
Robert Nieuwenhuis
  • Function : Author
Michaël Rusinowitch

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
Not file

Dates and versions

inria-00098606 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098606 , version 1

Cite

Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch. Decision problems in ordered rewriting. Proceedings 13th IEEE Symposium on Logic in Computer Science, 1998, none, 11 p. ⟨inria-00098606⟩
38 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More