PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT - Archive ouverte HAL Access content directly
Journal Articles System Informatics Year : 2019

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

(1, 2, 3) , (1, 4, 2) , (1, 4, 2) , (3)
1
2
3
4
Fichier principal
Vignette du fichier
Todorov_auth.pdf (785.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

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⟩
185 View
60 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More