The Confluence Problem for Flat TRSs

Ichiro Mitsuhashi 1 Michio Oyamaguch 1 Florent Jacquemard 2
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each rewrite rule are at most one.
Type de document :
Communication dans un congrès
Jacques Calmet and Tetsuo Ida and Dongming Wang. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. Springer, 4120, pp.68-81, 2006, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/3m3n00k2661814um/〉. 〈10.1007/11856290_8〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00579010
Contributeur : Florent Jacquemard <>
Soumis le : mercredi 23 mars 2011 - 10:29:45
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : vendredi 24 juin 2011 - 02:34:00

Fichier

MOJ-aisc06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard. The Confluence Problem for Flat TRSs. Jacques Calmet and Tetsuo Ida and Dongming Wang. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. Springer, 4120, pp.68-81, 2006, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/3m3n00k2661814um/〉. 〈10.1007/11856290_8〉. 〈inria-00579010〉

Partager

Métriques

Consultations de la notice

157

Téléchargements de fichiers

71