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}
}