PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT - Equipe : Modélisation Hétérogène Access content directly
Journal Articles System Informatics Year : 2019

Dates and versions

hal-02322645 , version 1 (27-05-2021)

Identifiers

Cite

Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT. System Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩. ⟨hal-02322645⟩
212 View
98 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More