Reachability and confluence are undecidable for flat term rewriting systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2003

Reachability and confluence are undecidable for flat term rewriting systems

Florent Jacquemard
Verification in databases
CV

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
jacquemard-IPL-HAL.pdf (110.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Florent Jacquemard  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00578875

Soumis le : mardi 22 mars 2011-15:26:51

Dernière modification le : vendredi 24 mars 2023-14:52:54

Archivage à long terme le : jeudi 23 juin 2011-02:47:55

Télécharger pour visualiser

Dates et versions

inria-00578875 , version 1 (22-03-2011)

Identifiants

  • HAL Id : inria-00578875 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY
82 Consultations
243 Téléchargements

Partager

Gmail Facebook X LinkedIn More