Skip to Main content Skip to Navigation
Theses

Preuves automatiques par récurrence dans les théories conditionnelles

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

https://hal.univ-lorraine.fr/tel-01754128
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Friday, March 30, 2018 - 9:39:18 AM
Last modification on : Monday, March 15, 2021 - 11:28:09 AM

Links full text

Identifiers

  • HAL Id : tel-01754128, version 1

Collections

Citation

Adel Bouhoula. Preuves automatiques par récurrence dans les théories conditionnelles. Autre. Université Henri Poincaré - Nancy 1, 1994. Français. ⟨NNT : 1994NAN10022⟩. ⟨tel-01754128⟩

Share

Metrics

Record views

92