Loop Detection in Term Rewriting Using the Eliminating Unfoldings

Abstract : no abstract
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2008, 403 (2-3), pp.307-327
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186183
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:29:39
Dernière modification le : jeudi 17 mai 2018 - 12:52:03

Identifiants

  • HAL Id : hal-01186183, version 1

Collections

Citation

Etienne Payet. Loop Detection in Term Rewriting Using the Eliminating Unfoldings. Theoretical Computer Science, Elsevier, 2008, 403 (2-3), pp.307-327. 〈hal-01186183〉

Partager

Métriques

Consultations de la notice

42