HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Friday, June 18, 2021 - 1:20:42 PM
Last modification on : Friday, January 21, 2022 - 3:27:00 AM

Links full text

Identifiers

Collections

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

78