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 metadata

https://hal.univ-reunion.fr/hal-01186145
Contributor : Nicolas Alarcon <>
Submitted on : Friday, June 18, 2021 - 1:20:42 PM
Last modification on : Wednesday, June 30, 2021 - 9:40:08 PM

Links full text

Identifiers

Citation

Roberto Bagnara, Frédéric Mesnard, Andrea Pescetti. 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

194