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