Decision problems in ordered rewriting

Hubert Comon 1 Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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
Type de document :
Communication dans un congrès
Proceedings 13th IEEE Symposium on Logic in Computer Science, 1998, none, 11 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098606
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:54
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098606, version 1

Collections

Citation

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, 1998. 〈inria-00098606〉

Partager

Métriques

Consultations de la notice

70