Recurrence with affine level mappings is P-time decidable for CLP(R)
Résumé
no abstract
Article Dans Une Revue
TPLP
Année : 2008
Nicolas Alarcon : Connectez-vous pour contacter le contributeur
https://hal.univ-reunion.fr/hal-01186188
Soumis le : lundi 24 août 2015-14:29:52
Dernière modification le : vendredi 21 janvier 2022-03:27:04
Dates et versions
Identifiants
- HAL Id : hal-01186188 , version 1
Citer
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⟩
Collections
92
Consultations
0
Téléchargements