2003-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2003-phd.cite -ob 2003-phd.bib -c 'year = 2003 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{Forest03These,
  author = {Julien Forest},
  topics = {team, lri},
  title = {R\'e\'ecriture d'ordre sup\'erieur avec motifs},
  school = {Universit{\'e} Paris-Sud},
  year = 2003,
  type = {Th{\`e}se de Doctorat},
  address = {Orsay, France},
  month = sep,
  type_publi = {these},
  note = {\url{http://www.pps.jussieu.fr/~forest/these/TheseForest.ps.gz}},
  url = {http://www.pps.jussieu.fr/~forest/these/TheseForest.ps.gz}
}

@phdthesis{walukiewicz03thesis,
  author = {Daria Walukiewicz-Chrz\k{}aszcz},
  title = {Termination of Rewriting in the Calculus of
                  Constructions},
  school = {Warsaw University, Poland and Universit\'e de Paris-Sud},
  year = 2003,
  month = apr,
  type_publi = {these},
  topics = {team}
}