Algorithms and Reductions for Rewriting Problems
Abstract
Nous étudions les réductions polynomiales entre des problèmes réécriture. Nous montrons que la confluence des semi-Thue commutatifsest décidable.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098607
Submitted on : Monday, September 25, 2006-5:03:56 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM