BACK TO INDEX
-
M. Ducassé,
U. Nilsson,
and D. Seipel, editors.
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP,
http://www.ep.liu.se/ecp/012/,
September 2004.
Linköping Electronic Conference Proceedings, Issue No. 12.
Note: ISSN 1650-3686 (print), 1650-3740 (www).
[bibtex-entry]
-
M. Huisman and T. Jensen, editors.
J. Logic and Algebraic Programming. Speical issue on Formal Methods for Smart Cards, vol. 58(1-2),
2004.
Elsevier.
[bibtex-entry]
-
M. Ducassé, editor.
Actes des Journées Francophones de Programmation en Logique avec Contraintes,
June 2003.
Revue des Sciences et Technologies de l'Information, Hors série/JFPLC 2003, HERMES Science Publications.
[bibtex-entry]
-
M. Huisman and T. Jensen, editors.
J. Logic and Algebraic Programming. Speical issue on Formal Methods for Smart Cards,
2003.
Elsevier.
Note: \toappear.
[bibtex-entry]
-
M. Ducassé, editor.
Journal of Automated Software Engineering 9(1), special issue on automated debugging,
janvier 2002.
Kluwer.
[bibtex-entry]
-
Isabelle Attali and Thomas Jensen, editors.
Smart Card Programming and Security (e-Smart 2001),
September 2001.
Springer LNCS vol. 2140.
[bibtex-entry]
-
I. Attali and T. Jensen, editors.
Proceedings of the International Workshop on Java Card (Java Card 2000),
Cannes, France,
Septembre 2000.
Inria.
[bibtex-entry]
-
M. Ducassé, editor.
Proceedings of the 4th International Workshop on Automated Debugging (AADEBUG2000),
Munich,
August 2000.
COrr.
Note: Refereed proceedings to appear in the COmputer Research Repository (CORR).
[WWW
] [bibtex-entry]
-
M. Ducassé,
A. Kusalik,
and G. Puebla, editors.
Proceedings of the 10th Workshop on Logic Programming Environments,
http://www.cs.usask.ca/projects/envlop/WLPE/10WLPE/,
novembre 1999.
[bibtex-entry]
-
J.-M. Andréoli,
C.L. Hankin,
and D. Le Métayer.
Coordination Programming: mechanisms, models and semantics.
Word Scientific Publishing, IC Press,
1996.
[Abstract] [bibtex-entry]
-
M. Ducassé, editor.
Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging,
Saint Malo, France,
May 1995.
IRISA, Campus de Beaulieu, F-35042 Rennes cedex.
Note: See http://www.irisa.fr/EXTERNE/manifestations/AADEBUG95/.
[bibtex-entry]
-
M. Ducassé,
Y.-J. Lin,
and L.Ü. Yalcinalp, editors.
Proceedings of IJCSLP'92 Workshop on Logic Programming Environments,
November 1992.
Note: Technical Report TR 92-143, Case Western Reserve University, Cleveland.
[bibtex-entry]
-
M. Ducassé and G. Ferrand, editors.
Proceedings of ICLP'91 Workshop on Logic Programming Environments,
June 1991.
Note: Technical Report, University of Orléans, France, LIFO N 91-61.
[bibtex-entry]
BACK TO INDEX
Disclaimer:
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
All person copying this information are expected to adhere to
the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted
without the explicit permission of the copyright holder.
Les documents contenus dans ces répertoires sont rendus disponibles
par les auteurs qui y ont contribué en vue d'assurer la diffusion
à temps de travaux savants et techniques sur une base non-commerciale.
Les droits de copie et autres droits sont gardés par les auteurs
et par les détenteurs du copyright, en dépit du fait qu'ils présentent
ici leurs travaux sous forme électronique. Les personnes copiant ces
informations doivent adhérer aux termes et contraintes couverts par
le copyright de chaque auteur. Ces travaux ne peuvent pas être
rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
Last modified: Mon Feb 26 15:35:06 2007
Author: ferre.
This document was translated from BibTEX by
bibtex2html