La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées * - Archive ouverte HAL Access content directly
Documents Associated With Scientific Events Year :

La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *

(1) , (2) , (3, 4)
1
2
3
4

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
main.pdf (88.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

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

https://hal.inria.fr/hal-02317143

Submitted on : Tuesday, October 15, 2019-7:41:31 PM

Last modification on : Friday, November 18, 2022-9:27:09 AM

Long-term archiving on: Friday, January 17, 2020-10:55:40 AM

Download

Dates and versions

hal-02317143 , version 1 (15-10-2019)

Identifiers

  • HAL Id : hal-02317143 , version 1

Cite

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *. 18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France. . ⟨hal-02317143⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA INRIA UNIV-ORLEANS DRT INRIA2 CEA-UPSAY UNIV-PARIS-SACLAY LIST INSA-GROUPE INSA-CVL GS-ENGINEERING GS-COMPUTER-SCIENCE
39 View
70 Download

Share

Gmail Facebook Twitter LinkedIn More