** Didier Galmiche
**

LORIA UMR 7503

TYPES Group: Logic, Proof Theory and Programming

## PAPERS (before 1999)

** Proof nets Construction and Automated Deduction in Non-commutative
Linear Logic - extended abstract - **

D. Galmiche and and B. Martin.

* Electronic Notes in Theoretical Computer Science *, vol 17, 1998.

A preprint is available here:
.ps -
.dvi

** Provability in Intuitionistic Linear Logic from a New
Interpretation on Petri nets - extended abstract - **

D. Galmiche and D. Larchey-Wendling

* Electronic Notes in Theoretical Computer Science *, vol 17, 1998.

A preprint is available here:
.ps -
.dvi

** Formulae-as-Resources Management for an Intuitionistic Theorem
Prover. **

D. Galmiche and D. Larchey-Wendling

* 5th Workshop on Logic, Language, Information and
Computation (WoLLIC'98) *, Sao Paulo, Brazil.

A preprint is available here:
.ps -
.dvi

** Guarded Commands and Proofs in Linear Logic. **

R. Couturier and D. Galmiche

* ECOOP'96 Workshop on Proof Theory of Concurrent Object-Orie
nted Programming *

Linz, Austria, July 1996.

A preprint is available here:
Postscript -
DVI

** Proofs, Concurrent Objects and Computations in a FILL
Framework. **

E. Boudinet and D. Galmiche

* Workshop on Object-Based Parallel and Distributed
Computation, OBPDC'95 *,

LNCS 1107, pp 148-167, Tokyo, Japan, 1996

A preprint is available here:
Postscript -
DVI

** Proof search and induction choices in AF2 system **

D. Galmiche and O. Hermann

* Technical report, march 1996 *

A preprint is available here:
Postscript -
Dvi

** Proof Theory and Programming **

D. Galmiche

* Ercim News No 23*, October 1995

A preprint is available here:
Postscript

** Dealing with additives in MALL proof search (abstract) **

D. Galmiche and J.Y. Marion

* 2nd Workshop on Non-standard Logics and Logical
Aspects of Computer Science *

Irkutsk, Russia, June 1995.

A preprint is available here:
Postscript -
Dvi

** Semantics Proof Search Methods for ALL - a first approach - **

D. Galmiche and J.Y. Marion

* 4th Workshop on Theorem Proving with Analytic
Tableaux and related Methods *

St Goar am Rhein, May 1995.

A preprint is available here:
Postscript -
DVI

** Proof normalization in Linear Logic **

D. Galmiche and G. Perrier

* Theoretical Computer Science *, vol. 135, n. 1, pp 67-110, 1994.

A preprint is available here:
Postscript -
DVI

** Canonical Proofs for Linear Logic Programming Frameworks **

D. Galmiche

* Workshop on Proof-theoretical extensions of logic
programming *

Santa Margherita Ligure, Italy, June 1994.

A preprint is available here:
Postscript -
DVI

** Foundations of Proof Search Strategies Design in Linear Logic **

D. Galmiche and G. Perrier

* Logic at St Petersburg '94, Symposium on Logical
Foundations of Computer Science*

LNCS 813, pp 101-113, St. Petersburg, Russia, July 1994.

A preprint is available here:
Postscript -
DVI

** Proof search for programming in ILL (extended abstract) **

D. Galmiche and E. Boudinet

* CADE-12 Workshop on Proof search in Type Theoretic Languages *

Nancy, France, June 1994.

A preprint is available here:
Postscript -
DVI

** SKIL : a system for programming with proofs **

D. Galmiche and O. Hermann

* LPAR'93, International Conference on Logic Programming and
Automated Reasoning *

LNAI 698, St. Petersburg, Russia, July 1993.

A preprint is available here:
Postscript -
DVI

** Automated proof and program development **

D. Galmiche and O. Hermann

* The Unified Computation Laboratory: Modelling,
Specifications and Tools *

C.M. Rattray \&~R.G. Clark, editor,
pp 397-410, Oxford University Press, 1992.

A preprint is available here:
Postscript -
DVI

** Program Development in Constructive Type Theory **

D. Galmiche

* Theoretical Computer Science *, vol. 94, pp 237-256, 1992.

A preprint is available here:
Postscript -
DVI

** A procedure for automatic Proof nets construction **

D. Galmiche and G. Perrier

* Int. Conference on Logic Programming and Automated Reasoning, LPAR'92 *

LNAI 624, pp 42-53, St Petersburg, RUSSIA, 1992.

A preprint is available here:
Postscript -
DVI

** Program Transformation by Proof in Constructive Framework **

D. Galmiche

* Informatika'91 * Theoretical Computer Science and Methods of Compilation and Program Construction, Grenoble, 1991.

A preprint is available here:
Postscript -
DVI

### Further information:

**Didier Galmiche **

LORIA UMR 7503 - UHP Nancy 1

Campus Scientifique - BP 239

54506 Vandoeuvre-les-Nancy, France

**Email:** **Didier.Galmiche@loria.fr**

**Direct phone:** +33 (0)3 83 59 20 15

**Fax:** +33 (0)3 83 41 30 79

**URL:** `http://www.loria.fr/~galmiche`