A new look at the automatic synthesis of linear ranking functions
Résumé
no abstract
Nicolas Alarcon : Connectez-vous pour contacter le contributeur
https://hal.univ-reunion.fr/hal-01186145
Soumis le : vendredi 18 juin 2021-13:20:42
Dernière modification le : mardi 16 avril 2024-15:33:34