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 « Didier 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.
Didier Dubois < Didier Galmiche < Didier Marin  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000081 (2013) Didier Galmiche [France] ; Daniel Mery [France]A Connection-based Characterization of Bi-intuitionistic Validity
000122 (2011) Didier Galmiche [France] ; Yakoub Salhi [France]Sequent calculi and decidability for intuitionistic hybrid logic
000384 (2006) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Expressivity properties of boolean BI through relational models
000516 (2005) Didier Galmiche [France] ; Daniel Mery [France]Characterizing provability in BI's pointer logic through resource graphs
000729 (2003) Nicolas Biri [France] ; Didier Galmiche [France]A separation logic for resource distribution
000775 (2002) Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni]Resource tableaux
000818 (2002) Didier Galmiche [France] ; Daniel Mery [France]Connection-based proof search in propositional BI logic
000886 (2001) D. Larchey-Wendling [France] ; D. Mery [France] ; Didier Galmiche [France]STRIP : Structural sharing for efficient proof-search
000890 (2001) Didier Galmiche [France] ; Daniel Mery [France]Proof-search and countermodel generation in propositional BI logic

List of associated FC03.fr.i

Nombre de
documents		Descripteur
4Logique intuitionniste
4Logique propositionnelle
4Structure donnée
4Théorie preuve
3Calcul séquent
3Décidabilité
3Démonstration théorème
3Informatique théorique
3Modélisation
3Sémantique
3Vérification programme
2Algorithme recherche
2Appel procédure
2Consistance sémantique
2Intelligence artificielle
2Monoïde
2Multigraphe
2Pointeur
2Programmation logique
2Théorie graphe
1.
103B20
103Fxx
168T15
1Approche probabiliste
1Arbre graphe
1Base donnée relationnelle
1Bisimulation
1Bunched implication
1Bunching
1Complétude
1Digraphe
1Duplication
1Déduction
1Déduction naturelle
1Développement logiciel
1Elimination coupure
1Etiquetage
1Gestion ressources
1Graphe orienté
1Langage programmation logique
1Langage propositionnel
1Localisation
1Logique booléenne
1Logique linéaire
1Logique modale
1Logique multiplicative
1Modèle Kripke
1Modèle logique
1Méthode arborescente
1Non déterminisme
1Partage ressource
1Procédure décision
1Représentation connaissances
1Satisfaction
1Structure donnée arborescente
1Structure programme
1Système non déterministe
1Théorie constructive
1Vérification modèle

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 "Didier Galmiche" 

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