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 Connect in order to contact the contributor
Submitted on : Thursday, May 27, 2021 - 5:54:40 PM
Last modification on : Thursday, July 8, 2021 - 3:49:41 AM
Long-term archiving on: : Saturday, August 28, 2021 - 8:14:05 PM

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

211

Files downloads

31