Disponible dans les fichiers attachés à ce documen

Hascoet, Laurent

Hal-Diderot

Un constructeur d'arbres de preuve dirigé par des tactiques

HAL Descartes

INRIA a CCSD electronic archive server

HAL Id: inria-00075782https://hal.inria.fr/inria-00075782Submitted on 24 May 2006HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.Un constructeur d’arbres de preuve dirigé par destactiquesLaurent HascoetTo cite this version:Laurent Hascoet. Un constructeur d’arbres de preuve dirigé par des tactiques. [Rapport de recherche]RR-0770, INRIA. 1987. ￿inria-00075782￿

Un constructeur d'arbres de preuve dirigé par des tactiques

Abstract

Similar works

Full text

Available Versions

Hal-Diderot

HAL Descartes

INRIA a CCSD electronic archive server