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.
Communication Dans Un Congrès
Année : 1998
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
Dates et versions
Identifiants
- HAL Id : inria-00098607 , version 1
Citer
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⟩
Collections
53
Consultations
0
Téléchargements