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

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

Cited literature [109 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01747412
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:59:16 AM
Last modification on : Tuesday, April 24, 2018 - 2:12:06 PM
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. Sciences agricoles. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10245⟩. ⟨tel-01747412⟩

Share

Metrics

Record views

70

Files downloads

21