Skip to Main content Skip to Navigation
Theses

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison

Abstract : Non disponible/Not available
Document type :
Theses
Complete list of metadata

Cited literature [109 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01747412
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:59:16 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM
Long-term archiving on: : Thursday, September 13, 2018 - 2:36:45 PM

File

SCD_T_1998_0245_GENET.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01747412, version 1

Collections

Citation

Thomas Genet. Contraintes d'ordre et automates d'arbres pour les preuves de terminaison. Informatique [cs]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10245⟩. ⟨tel-01747412⟩

Share

Metrics

Record views

132

Files downloads

153