Skip to Main content Skip to Navigation
Journal articles

A new look at the automatic synthesis of linear ranking functions

Abstract : no abstract
Document type :
Journal articles
Complete list of metadatas

https://hal.univ-reunion.fr/hal-01186145
Contributor : Nicolas Alarcon <>
Submitted on : Monday, August 24, 2015 - 2:28:12 PM
Last modification on : Tuesday, September 1, 2020 - 3:07:44 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

175