1993-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-phd.cite -ob 1993-phd.bib -c 'year = 1993 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{fernandez93these,
author = {Maribel Fern{\'a}ndez},
title = {Mod{\`e}les de calculs multiparadigmes fond{\'e}s sur
la r{\'e}{\'e}criture},
school = {Universit{\'e} Paris-Sud},
year = 1993,
address = {Orsay, France},
month = dec,
type = {Th{\`e}se de Doctorat},
topics = {cclserver, team, lri},
location = {HC 660},
type_publi = {these}
}
@phdthesis{haberstrau93these,
author = {Marianne Haberstrau},
topics = {team, lri, cclserver},
title = {{ECOLOG: un Environnement pour la programmation en
LOGique COntrainte}},
school = {Universit{\'e} Paris-Sud},
year = 1993,
address = {Orsay, France},
month = dec,
type = {Th{\`e}se de Doctorat},
type_publi = {these}
}
@phdthesis{kesner93these,
author = {Delia Kesner},
title = {La d{\'e}finition de fonctions par cas {\`a} l'aide de
motifs dans des langages applicatifs},
school = {Universit{\'e} Paris-Sud},
year = 1993,
address = {Orsay, France},
month = dec,
type = {Th{\`e}se de Doctorat},
topics = {cclserver, team, lri},
type_publi = {these}
}
@phdthesis{marche93these,
author = {Claude March{\'e}},
topics = {team, lri, cclserver},
title = {R{\'e}{\'e}criture modulo une th{\'e}orie
pr{\'e}sent{\'e}e par un syst{\`e}me convergent et
d{\'e}cidabilit{\'e} des probl{\`e}mes du mot dans
certaines classes de th{\'e}ories {\'e}quationnelles},
school = {Universit{\'e} Paris-Sud},
year = 1993,
type = {Th{\`e}se de Doctorat},
address = {Orsay, France},
month = oct,
x-pdf = {http://www.lri.fr/~marche/articles/thesis.ps.gz},
abstract = {http://www.lri.fr/~marche/thesis.html},
type_publi = {these}
}
@phdthesis{sadfi93these,
author = {Walid Sadfi},
title = {Contribution {\`a} l'{\'e}tude de la
s{\'e}quentialit{\'e} forte des d{\'e}finitions de
fonctions par r{\`e}gles},
school = {Universit{\'e} Paris-Sud},
year = 1993,
address = {Orsay, France},
month = dec,
type = {Th{\`e}se de Doctorat},
topics = {team, lri, cclserver},
type_publi = {these}
}