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
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

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

Identifiers

  • HAL Id : hal-01973539, version 1

Citation

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

Share

Metrics

Record views

60

Files downloads

181