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

Computer Science [cs] Modeling and Simulation Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Formal Languages and Automata Theory [cs.FL]

Fichier principal

Todorov_auth.pdf (785.66 Ko)

Origin : Files produced by the author(s)

Frédéric Boulanger : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645

Submitted on : Thursday, May 27, 2021-5:54:40 PM

Last modification on : Saturday, June 25, 2022-10:51:49 PM

Long-term archiving on: Saturday, August 28, 2021-8:14:05 PM

Dates and versions

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

Identifiers

HAL Id : hal-02322645 , version 1
DOI : 10.31144/si.2307-6410.2019.n14.p45-54

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL TDS-MACS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

185 View

60 Download