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 metadatas

https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645
Contributor : Frédéric Boulanger <>
Submitted on : Monday, October 21, 2019 - 4:09:22 PM
Last modification on : Thursday, October 22, 2020 - 3:37:14 AM

Links full text

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

98