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

Vassil Todorov; Safouan Taha; Frédéric Boulanger; Armando Hernandez

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

Vassil Todorov ^{1, 2, 3} Safouan Taha ^{1, 4, 3} Frédéric Boulanger ^{1, 4, 3} Armando Hernandez ²

1 LRI - Laboratoire de Recherche en Informatique

2 PSA - PSA Peugeot Citroën

3 Université Paris-Saclay

4 CentraleSupélec

Document type :

Journal articles

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

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 : Wednesday, November 6, 2019 - 3:08:43 PM

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

Links full text

Identifiers

Collections

Citation

Export

Metrics

10

Contact

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

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

10

Contact