Algorithms and Reductions for Rewriting Problems
Résumé
Nous étudions les réductions polynomiales entre des problèmes réécriture. Nous montrons que la confluence des semi-Thue commutatifsest décidable.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098607
Soumis le : lundi 25 septembre 2006-17:03:56
Dernière modification le : vendredi 24 mars 2023-14:52:48