Recurrence with affine level mappings is P-time decidable for CLP(R)
Résumé
no abstract
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