A Non-Termination Criterion for Binary Constraint Logic Programs

Abstract : no abstract
Type de document :
Article dans une revue
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2009, 9 (2), pp.145-164
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186175
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:29:23
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Identifiants

  • HAL Id : hal-01186175, version 1

Collections

Citation

Etienne Payet, Frédéric Mesnard. A Non-Termination Criterion for Binary Constraint Logic Programs. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2009, 9 (2), pp.145-164. 〈hal-01186175〉

Partager

Métriques

Consultations de la notice

55