PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT - Laboratoire Méthodes Formelles
Article Dans Une Revue System Informatics Année : 2019

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

Domaines

Modélisation et simulation Génie logiciel [cs.SE] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
Todorov_auth.pdf (785.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Frédéric Boulanger  : Connectez-vous pour contacter le contributeur

https://centralesupelec.hal.science/hal-02322645

Soumis le : jeudi 27 mai 2021-17:54:40

Dernière modification le : vendredi 15 mars 2024-03:19:36

Archivage à long terme le : samedi 28 août 2021-20:14:05

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL TDS-MACS UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
293 Consultations
127 Téléchargements

Altmetric

Partager

More