Loop detection in term rewriting using the eliminating unfoldings

Etienne Payet

doi:10.1016/J.TCS.2008.05.013

Article Dans Une Revue Theoretical Computer Science Année : 2008

Loop detection in term rewriting using the eliminating unfoldings

(1)

1

Etienne Payet

Fonction : Auteur
PersonId : 1243814
IdHAL : etienne-payet
ORCID : 0000-0002-3519-025X

Laboratoire d'Informatique et de Mathématiques

Mots clés

Term-rewriting systems Non-termination Loop Unfolding

Domaines

Logique en informatique [cs.LO]

Fichier principal

EtiennePayet.pdf (320.37 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Etienne Payet : Connectez-vous pour contacter le contributeur

https://hal.univ-reunion.fr/hal-04502927

Soumis le : mercredi 13 mars 2024-14:21:02

Dernière modification le : mardi 19 mars 2024-06:52:41

Dates et versions

hal-04502927 , version 1 (13-03-2024)

Identifiants

HAL Id : hal-04502927 , version 1
DOI : 10.1016/J.TCS.2008.05.013

Citer

Etienne Payet. Loop detection in term rewriting using the eliminating unfoldings. Theoretical Computer Science, 2008, 403 (2-3), pp.307-327. ⟨10.1016/J.TCS.2008.05.013⟩. ⟨hal-04502927⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM PAPANGUE FST-REUNION

6 Consultations

4 Téléchargements

Loop detection in term rewriting using the eliminating unfoldings

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager