puel.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc puel.cite -ob puel.bib -c 'author : "puel"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@inproceedings{BTKP93,
  author = {Val Breazu-Tannen and  Delia Kesner and Laurence Puel},
  topics = {team, lri},
  title = {A Typed Pattern Calculus},
  crossref = {lics93},
  pages = {262--274},
  year = 1993,
  type_publi = {icolcomlec}
}
@article{KPT96,
  author = {Delia Kesner and Laurence Puel and Val Tannen},
  title = {{A} {T}yped {P}attern {C}alculus},
  journal = {Information and Computation},
  year = 1996,
  volume = 124,
  pages = {32--61},
  number = 1,
  month = jan,
  publisher = {Academic-Press},
  type_publi = {irevcomlec},
  topics = {team, lri},
  clef_labo = {KPT96R}
}
@techreport{Val93,
  author = {Val Breazu-Tannen and Delia Kesner and Laurence Puel},
  topics = {team, cclserver, lri},
  title = {A typed pattern calculus},
  institution = {Laboratoire de Recherche en Informatique},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/pattern-calculus.ps.gz},
  year = 1993,
  number = 878,
  address = {Univ. Paris-Sud, France},
  type_publi = {interne}
}
@unpublished{delor91rr,
  author = {Catherine Delor and Laurence Puel},
  topics = {orderings, old-teamnop},
  title = {A generalized associative commutative recursive path
		  ordering},
  year = 1990,
  note = {Laboratoire d'Informatique de l'Ecole Normale Sup{\'e}rieure, Paris. Unpublished }
}
@inproceedings{delor93rta,
  author = {Catherine Delor and Laurence Puel},
  topics = {team, lri},
  title = {Extension of the Associative Path Ordering to a Chain
		 	of Associative-Commutative Symbols},
  crossref = {rta93},
  pages = {389--404},
  year = 1993,
  type_publi = {icolcomlec}
}
@inproceedings{ferreira96,
  author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
  title = {$\lambda$-Calculi with Explicit Substitutions and 
                Composition which Preserve $\beta$-Strong Normalization
                (Extended Abstract)},
  crossref = {alp96},
  pages = {284--298},
  year = 1996,
  topics = {team, lri, cclserver},
  type_publi = {icolcomlec},
  clef_labo = {FKP96E}
}
@misc{puel83,
  author = {Laurence Puel},
  topics = {ADT, rewriting, old-team},
  location = {HC 100},
  title = {Preuves dans l'alg{\`e}bre terminale. Algorithmes de
		  compl{\'e}tion},
  howpublished = {Th{\`e}se de Doctorat. Universit{\'e} Paris {VII}},
  year = 1983,
  month = dec
}
@inproceedings{puel84caap,
  author = {Laurence Puel},
  topics = {old-team},
  month = mar,
  year = 1984,
  title = {Proofs in the final algebra},
  booktitle = {Proceedings of the Ninth Colloquium on Trees in Algebra and
		  Programming},
  editor = {Bruno Courcelle},
  institution = {Cambridge University Press},
  address = {Bordeaux, France},
  pages = {227--242}
}
@misc{puel87,
  author = {Laurence Puel},
  topics = {rewriting, old-team},
  location = {HC 248},
  title = {Bons pr{\'e}ordres sur les arbres associ{\'e}s {\`a}
		  des ensembles in{\'e}vitables et preuves de terminaison des
		  syst{\`e}mes de r{\'e}{\'e}criture},
  howpublished = {Th{\`e}se de Doctorat d'Etat, Universit{\'e} Paris {VII}},
  year = 1987,
  month = dec
}
@misc{puel89,
  author = {Laurence Puel},
  title = {R{\`e}gles de Calcul dans les Syst{\`e}mes de
		 R{\'e}{\'e}criture R{\'e}guliers d'apr{\`e}s
		 Huet et Levy (A Para{\^{\i}}tre)},
  year = 1989,
  month = oct,
  note = {Transparents du S{\'e}minaire Octobre 89}
}
@inproceedings{puel89rta,
  author = {Laurence Puel},
  title = {Embedding with patterns and associated recursive
		  path ordering},
  booktitle = {Proc. 3rd Rewriting Techniques and Applications,
		 Chapel Hill, LNCS 355},
  year = 1989,
  topics = {rewriting, old-team},
  pages = {371--387},
  publisher = {Springer}
}
@unpublished{puel90,
  topics = {FP, unification, old-teamnop},
  location = {HC 417},
  author = {Laurence Puel and Ascander Suarez},
  title = {Compiling Pattern Matching by Term Decomposition},
  year = 1990,
  month = jan,
  note = {Internal Report, laboratoire d'Informatique de l'Ecole Normale Sup{\'e}rieure. Paris}
}
@inproceedings{puel90lfp,
  author = {Laurence Puel and Ascander Suarez},
  topics = {FP, disunification, old-team},
  location = {HC 435},
  title = {Compiling Pattern Matching by Term Decomposition},
  booktitle = {Proc. Int. Conf. on LISP and Functional Programming},
  year = 1990
}
@article{puel93jsc,
  topics = {team, lri},
  author = {Puel, Laurence and Suarez, Ascander},
  title = {Compiling pattern matching by term decomposition},
  journal = {Journal of Symbolic Computation},
  pages = {1--26},
  year = 1993,
  volume = {15 },
  type_publi = {irevcomlec}
}
@inproceedings{puel93tapsoft,
  author = {Laurence Puel and Ascander Suarez},
  topics = {team, lri},
  title = {Optimal solutions to pattern matching problems},
  booktitle = {Proc. {TAPSOFT} 93},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science, vol. 668},
  pages = {501--518},
  year = 1993,
  address = {Orsay},
  month = apr,
  type_publi = {icolcomlec}
}
@inproceedings{FKP98,
  author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
  topics = {team, cclserver, lri},
  title = {{Reducing AC-Termination to Termination}},
  crossref = {mfcs98},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/mfcs98.ps.gz},
  pages = {239--247},
  year = 1998,
  type_publi = {icolcomlec},
  clef_labo = {FKP98E}
}
@article{Ferreira99aaecc,
  author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
  topics = {team, cclserver, lri},
  type_publi = {irevcomlec},
  title = {{Lambda-calculi with Explicit Substitutions Preserving
                    Strong Normalization}},
  journal = {Applicable Algebra in Engineering Communication and
		 Computing},
  volume = {9},
  number = {4},
  pages = {333--371},
  year = 1999,
  clef_labo = {FKP99R}
}
@inbook{puel03,
  author = {Laurence Puel},
  title = {{La s\'ecurit\'e sociale}},
  chapter = {{Rapport de la 6{\`e}me chambre de la Cour des Comptes:
                    Le syst{\`e}me d'information de la caisse nationale
                    d'Assurance Vieillesse.}},
  publisher = {\'edition des journaux officiels},
  year = 2003,
  month = sep,
  topics = {team, lri},
  type_publi = {chapitre}
}
@proceedings{alp96,
  title = {5th International Conference on Algebraic and
                        Logic Programming},
  booktitle = {5th International Conference on Algebraic and
                        Logic Programming},
  editor = {Michael Hanus and Mario Rodr{\'\i}guez-Artalejo},
  month = sep,
  year = 1996,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1139},
  address = {Aachen, Germany}
}
@proceedings{lics93,
  title = {Proceedings of the Eigth Annual IEEE Symposium on Logic
			in Computer Science},
  booktitle = {Proceedings of the Eigth Annual IEEE Symposium on Logic
			in Computer Science},
  year = 1993,
  publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{mfcs98,
  title = {Mathematical Foundations of Computer Science},
  booktitle = {Mathematical Foundations of Computer Science},
  editor = {Lubos Brim and Jozef Gruska and Jiri Zlatuska},
  year = 1998,
  month = aug,
  address = {Brno, Czech Republic},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  isbn = {3-540-64827-5},
  volume = 1450
}
@proceedings{rta89,
  title = {Rewriting Techniques and Applications},
  booktitle = {Rewriting Techniques and Applications},
  editor = {Nachum Dershowitz},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year = 1989,
  month = apr,
  address = {Chapel Hill, U.S.A.},
  volume = 355
}
@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and
                        Applications},
  booktitle = {5th International Conference on Rewriting Techniques and
                        Applications},
  editor = {Claude Kirchner},
  publisher = {Springer},
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = {Lecture Notes in Computer Science},
  volume = 690
}