Loop detection in term rewriting using the eliminating unfoldings - Université de La Réunion
Article Dans Une Revue Theoretical Computer Science Année : 2008

Loop detection in term rewriting using the eliminating unfoldings

Fichier principal
Vignette du fichier
EtiennePayet.pdf (320.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

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⟩
11 Consultations
13 Téléchargements

Altmetric

Partager

More