puel.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc puel.cite -ob puel.bib -c 'author : "puel"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../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
}