2002-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2002-phd.cite -ob 2002-phd.bib -c 'year = 2002 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{alvarado02phd,
  author = {Cuihtlauac Alvarado},
  title = {R{\'e}flexion pour la r\'e\'ecriture dans le calcul des constructions inductives},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  month = dec,
  type_publi = {these},
  topics = {team}
}

@phdthesis{loiseleur02phd,
  author = {Patrick Loiseleur},
  title = {Sp\'ecifications et preuves de programmes distribu\'es, une approche bas\'ee sur les r\'eseaux d'objets CORBA},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  month = sep,
  topics = {team},
  type_publi = {these}
}

@phdthesis{monate02these,
  author = {Benjamin Monate},
  topics = {team, lri, cclserver},
  title = {Propri{\'e}t{\'e}s uniformes de familles de syst{\`e}mes de
                   r{\'e}{\'e}criture de mots param{\'e}tr{\'e}es par des
                   entiers},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  type = {Th{\`e}se de Doctorat},
  address = {Orsay, France},
  month = jan,
  type_publi = {these},
  url = {http://www.lri.fr/~marche/these-monate.ps.gz}
}