Recurrence with affine level mappings is P-time decidable for CLP(R)

Abstract : no abstract
Type de document :
Article dans une revue
TPLP, 2008, 8 (1), pp.111-119
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186188
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:29:52
Dernière modification le : vendredi 14 septembre 2018 - 08:15:18

Identifiants

  • HAL Id : hal-01186188, version 1

Collections

Citation

Frédéric Mesnard, Alexander Serebrenik. Recurrence with affine level mappings is P-time decidable for CLP(R). TPLP, 2008, 8 (1), pp.111-119. 〈hal-01186188〉

Partager

Métriques

Consultations de la notice

105