Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « intuitionistic logic »
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.
intuitionistic and linear logics < intuitionistic logic < intuitionistic modal logics  Facettes :

List of bibliographic references indexed by intuitionistic logic

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
008356 (2002) Didier Galmiche ; Daniel MeryConnection-based proof search in propositional BI logic
009144 (2001) Dominique Larchey-Wendling ; Daniel Méry ; Didier GalmicheSTRIP : Structural Sharing for Efficient Proof-search
009A96 (2000) Didier Galmiche ; Vincent BalatLabelled Proof Systems for Intuitionistic Provability
009B62 (2000) Didier Galmiche ; Dominique Larchey-Wendling ; Daniel MérySTRIP : Structural sharing and intuitionistic proof-search
00A657 (1999) Didier Galmiche ; Vincent BalatLabelled Proof Systems for Intuitionistic Provability
00B152 (1998) Didier Galmiche ; Dominique Larchey-WendlingFormulae-as-Resources Management for an Intuitionistic Theorem Prover
00C232 (1995) O. HermannMécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "intuitionistic logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "intuitionistic logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    intuitionistic logic
}}
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