Skip to Main content Skip to Navigation
Journal articles

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Complete list of metadata

https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645
Contributor : Frédéric Boulanger <>
Submitted on : Thursday, May 27, 2021 - 5:54:40 PM
Last modification on : Thursday, July 8, 2021 - 3:49:41 AM

File

Todorov_auth.pdf
Files produced by the author(s)

Identifiers

Citation

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, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩. ⟨hal-02322645⟩

Share

Metrics

Record views

200

Files downloads

15