Skip to Main content Skip to Navigation
Reports

Comparaison des termes avec partage

Quentin Ye 1
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Reports
Complete list of metadatas
https://hal.inria.fr/hal-01973539
Contributor : Bruno Barras <>
Submitted on : Tuesday, January 8, 2019 - 1:12:46 PM
Last modification on : Tuesday, July 7, 2020 - 11:52:47 AM
Long-term archiving on: : Tuesday, April 9, 2019 - 3:46:14 PM

File

Vignette du document
comparaison-des-termes.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01973539, version 1

Collections

LARA | INRIA | UNIV-PARIS-SACLAY | ENS-CACHAN | CNRS

Citation

Quentin Ye. Comparaison des termes avec partage. [Rapport de recherche] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018. ⟨hal-01973539⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

60

Files downloads

181

 

Contact                    Legal Notice                    Personal Data