The Confluence Problem for Flat TRSs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

The Confluence Problem for Flat TRSs

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
MOJ-aisc06.pdf (164.36 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-00579010

Soumis le : mercredi 23 mars 2011-10:29:45

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

Archivage à long terme le : vendredi 24 juin 2011-02:34:00

Télécharger pour visualiser

Dates et versions

inria-00579010 , version 1 (23-03-2011)

Identifiants

Citer

Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard. The Confluence Problem for Flat TRSs. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩. ⟨inria-00579010⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY
116 Consultations
138 Téléchargements

Altmetric

Partager

More