FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Recherche preuve »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Recherche par contenu < Recherche preuve < Recherche scientifique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
000963 (2000) A. Felty [États-Unis]The calculus of constructions as a framework for proof search with set variable instantiation
000974 (2000) D. Galmiche [France] ; D. J. Pym [Royaume-Uni]Proof-search in type-theoretic languages : an introduction
000976 (2000) M. W. Bunder [Australie]Proof finding algorithms for implicational logics
000986 (2000) E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]On the intuitionistic force of classical search
000A03 (2000) T. Arai [Japon] ; G. Mints [États-Unis]Extended normal form theorems for logical proofs from axioms
000A05 (2000) I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis]Efficient resource management for linear logic proof search
000A14 (2000) G. Nadathur [États-Unis]Correspondences between classical, intuitionistic and uniform provability

List of associated Author.i

Nombre de
documents		Descripteur
1A. Felty
1D. Galmiche
1D. J. Pym
1D. Pym
1E. Ritter
1F. Pfenning
1G. Mints
1G. Nadathur
1I. Cervesato
1J. S. Hodas
1L. Wallen
1M. W. Bunder
1T. Arai

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Recherche preuve" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Recherche preuve" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Recherche preuve
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022