A new look at the automatic synthesis of linear ranking functions

Abstract : no abstract
Type de document :
Article dans une revue
Information and Computation, Elsevier, 2012, 215, pp.47-67. 〈10.1016/j.ic.2012.03.003〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186145
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:28:12
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Lien texte intégral

Identifiants

Collections

Citation

Roberto Bagnara, Frédéric Mesnard, Andrea Pescetti, Enea Zaffanella. A new look at the automatic synthesis of linear ranking functions. Information and Computation, Elsevier, 2012, 215, pp.47-67. 〈10.1016/j.ic.2012.03.003〉. 〈hal-01186145〉

Partager

Métriques

Consultations de la notice

40