A new look at the automatic synthesis of linear ranking functions
Résumé
no abstract
Article Dans Une Revue
Information and Computation
Année : 2012
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
Citer
Roberto Bagnara, Frédéric Mesnard, Andrea Pescetti. A new look at the automatic synthesis of linear ranking functions. Information and Computation, 2012, 215, pp.47-67. ⟨10.1016/j.ic.2012.03.003⟩. ⟨hal-01186145⟩
Collections
84
Consultations
0
Téléchargements