STRIP: Structural Sharing for Efficient Proof-search - Archive ouverte HAL
Communication Dans Un Congrès Année : 2001

STRIP: Structural Sharing for Efficient Proof-search

Dominique Larchey-Wendling
Logic, proof Theory and Programming
Daniel Mery
Logic, proof Theory and Programming
Didier Galmiche
Logic, proof Theory and Programming

Résumé

The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine and explicit management of formulae (as resources) based on a structural sharing and it builds, for a given formula, either a proof or a countermodel.

Domaines

Algorithme et structure de données [cs.DS] Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Dominique Larchey-Wendling  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00008805

Soumis le : vendredi 16 septembre 2005-14:17:18

Dernière modification le : vendredi 24 mars 2023-14:52:47

Fichier non déposé

Dates et versions

hal-00008805 , version 1 (16-09-2005)

Identifiants

  • HAL Id : hal-00008805 , version 1

Citer

Dominique Larchey-Wendling, Daniel Mery, Didier Galmiche. STRIP: Structural Sharing for Efficient Proof-search. 2001, Siena, Italy, pp.696 - 700. ⟨hal-00008805⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
108 Consultations
0 Téléchargements

Partager

More