Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « D. Galmiche »
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.
D. Fohr < D. Galmiche < D. Geniet  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000717 (2003) D. Galmiche [France] ; J.-M. Notin [France]Connection-based proof construction in non-commutative logic
000796 (2002) L. Habert [France] ; J.-M. Notin [France] ; D. Galmiche [France]LINK: A proof environment based on proof nets
000956 (2000) D. Galmiche [France]Workshop : Type-theoretic languages : Proof-search and semantics
000974 (2000) D. Galmiche [France] ; D. J. Pym [Royaume-Uni]Proof-search in type-theoretic languages : an introduction
000A16 (2000) D. Galmiche [France]Connection methods in linear logic and proof nets construction
000A66 (1999) D. Galmiche [France] ; D. Larchey-Wendling [France]Structural sharing and efficient proof-search in propositional intuitionistic logic
000C80 (1996) D. Galmiche [France] ; E. Boudinet [France]Proofs, concurrent objects and computations in a FILL framework
000D42 (1994) D. Galmiche [France] ; G. PerrierOn proof normalization in linear logic
000D46 (1993) D. Galmiche [France] ; H. Kirchner [France]Les langages fonctionnels et logiques

List of associated FC03.fr.i

Nombre de
documents		Descripteur
7Programmation logique
3Langage programmation
3Réseau preuve
2Algorithme
2Logique
2Logique intuitionniste
2Logique linéaire
2Théorie preuve
1Additif
1Analyse sémantique
1Automatique
1Backward movement
1Cadre logique
1Complexité programme
1Complétude
1Conception logique
1Déduction
1Déduction automatique
1Démonstration automatique
1Démonstration théorème
1Etiquette
1Informatique théorique
1LL proof
1Langage formel
1Langage type théorique
1Linear logic
1Logique multiplicative
1Logique propositionnelle
1Méthode connexion
1Non déterminisme
1Normalisation
1Orienté objet
1Polarisation
1Preuve programme
1Procédure décision
1Programmation
1Programmation fonctionnelle
1Programmation linéaire
1Programme concurrent
1Proof normalization
1Recherche preuve
1Redondance
1Règle inférence
1Stratégie recherche
1Sémantique
1Théorie
1Théorie type
1Vérification

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/Author.i -k "D. Galmiche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "D. Galmiche" \
         | 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=    Author.i
   |clé=    D. Galmiche
}}
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