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 : Thursday, December 5, 2019 - 1:38:40 AM
Long-term archiving on: Tuesday, April 9, 2019 - 3:46:14 PM

File

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

45

Files downloads

172

 

 

Contact

archive-ouverte@inria.fr