Skip to Main content Skip to Navigation
New interface
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 : Monday, November 28, 2022 - 4:58:05 PM

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, 2012, 215, pp.47-67. ⟨10.1016/j.ic.2012.03.003⟩. ⟨hal-01186145⟩

Share

Metrics

Record views

78