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