Loop detection in term rewriting using the eliminating unfoldings - Université de La Réunion Access content directly
Journal Articles Theoretical Computer Science Year : 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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
6 View
4 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More