Algorithms and Reductions for Rewriting Problems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Algorithms and Reductions for Rewriting Problems

Michaël Rusinowitch
Denis Lugiez
  • Function : Author

Abstract

Nous étudions les réductions polynomiales entre des problèmes réécriture. Nous montrons que la confluence des semi-Thue commutatifsest décidable.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098607 , version 1

Cite

Rakesh Verma, Michaël Rusinowitch, Denis Lugiez. Algorithms and Reductions for Rewriting Problems. Proceedings 9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, pp.166-180. ⟨inria-00098607⟩
48 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More