D. François < D. Galmiche < D. Gemmerlé

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]

Ident.	Authors (with country if any)	Title
002A91 (1995)	D. Galmiche ; J.-Y. Marion	Semantic Proof Search Methods for {ALL} - A First Approach -
002B29 (1995)	D. Galmiche ; E. Boudinet	Nets, Proofs and Concurrent Object Programming in Full Intuitionistic Linear Logic
002D47 (1995)	D. Galmiche	Proof Theory and Programming
002D64 (1995)	D. Galmiche ; J.-Y. Marion	Dealing with Additives in {MALL} Proof Search
002E60 (1994)	D. Galmiche	Des preuves aux programmes dans des logiques constructives
002F55 (1994)	D. Galmiche ; E. Boudinet	Proof Search for Programming in Intuitionistic Linear Logic
002F85 (1994)	D. Galmiche ; G. Perrier	On Proof Normalization in Linear Logic
002F96 (1994)	D. Galmiche	Canonical Proofs for Linear Logic Programming Frameworks
003018 (1994)	D. Galmiche	Computation with Proofs in Linear Logic
003021 (1994)	D. Galmiche ; G. Perrier	Foundations of Proof Search Strategies Design in Linear Logic
003102 (1994)	D. Galmiche ; L. Wallen	Proceedings CADE-12 Workshop on Proof Search in Type-Theoretic Languages
003123 (1994)	D. Galmiche ; O. Hermann	Automated Inductive Proofs in a Second Order Logical Framework
003350 (1993)	D. Galmiche ; G. Perrier	On Proof Normalization in Linear Logic
003458 (1993)	D. Galmiche ; H. Kirchner	Les langages fonctionnels et logiques
003470 (1993)	D. Galmiche ; O. Hermann	SKIL : A System for Programming with Proofs
003482 (1993)	D. Galmiche	Proof Search Methods in Linear Logic
003623 (1992)	D. Galmiche ; J. Conraud ; O. Hermann	SKIL : Synthesizing Knowledge on Intuitionistic Logic
003659 (1992)	D. Galmiche ; G. Perrier	Automated Deduction in Additive and Multiplicative Linear Logic
003752 (1992)	D. Galmiche ; O. Hermann	Automated Proof and Program Development
003763 (1992)	D. Galmiche ; G. Perrier	A Procedure for Automatic Proof Nets Construction
003774 (1992)	D. Galmiche	Program Development in Constructive Type Theory

---

List of associated KwdEn.i

Nombre de documents	Descripteur
4	linear logic
2	a demander
2	automated deduction
2	programming with proofs
2	type theory
1	automated deduction and synthesis
1	automated program synthesis
1	automated proof and program synthesis
1	automated theorem proving
1	constructive framework
1	induction
1	langages
1	logic programming
1	logical framework
1	logics
1	logique
1	preuves.
1	programmes corrects
1	proof construction
1	proof construction process
1	proof development
1	proof theory
1	second order logic
1	typed λ-calculus

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "D. Galmiche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "D. Galmiche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    D. Galmiche
}}

---

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