A new look at the automatic synthesis of linear ranking functions
Abstract
no abstract
Journal Articles
Information and Computation
Year : 2012
Nicolas Alarcon : Connect in order to contact the contributor
https://hal.univ-reunion.fr/hal-01186145
Submitted on : Friday, June 18, 2021-1:20:42 PM
Last modification on : Monday, November 28, 2022-4:58:05 PM
Cite
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⟩
Collections
81
View
0
Download