Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos

Abstract : Not available
Document type :
Theses
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01751005
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:01:26 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:55 AM

File

INPL_T_1990_BOUSDIRA_W.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01751005, version 1

Collections

Citation

Wadoud Bousdira. Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1990. Français. ⟨NNT : 1990INPL080N⟩. ⟨tel-01751005⟩

Share

Metrics

Record views

36

Files downloads

18