Reachability and confluence are undecidable for flat term rewriting systems

Florent Jacquemard 1
1 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 : Ground reachability, ground joinability and confluence are shown undecidable for flat term rewriting systems, i.e. systems in which all left and right members of rule have depth at most one.
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00578875
Contributeur : Florent Jacquemard <>
Soumis le : mardi 22 mars 2011 - 15:26:51
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : jeudi 23 juin 2011 - 02:47:55

Fichier

jacquemard-IPL-HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00578875, version 1

Collections

Citation

Florent Jacquemard. Reachability and confluence are undecidable for flat term rewriting systems. Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270. 〈inria-00578875〉

Partager

Métriques

Consultations de la notice

131

Téléchargements de fichiers

107