1996-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-phd.cite -ob 1996-phd.bib -c 'year = 1996 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{paulin96theseh,
  author = {Christine Paulin-Mohring},
  title = {D{\'e}finitions inductives en th{\'e}orie des types d'ordre sup{\'e}rieur},
  year = 1996,
  month = {D{\'e}cembre},
  type = {th{\`e}se d'habilitation},
  type_publi = {these},
  school = {Ecole Normale Sup{\'e}rieure de Lyon},
  topics = {team},
  location = {biblio-equipe}
}

@phdthesis{jacquemard96phd,
  author = {Florent Jacquemard},
  title = {Automates d'arbres et R{\'e}{\'e}criture de termes},
  school = {Universit{\'e} Paris-Sud},
  year = 1996,
  month = nov,
  topics = {team, lri},
  type_publi = {these},
  clef_labo = {Jac96T}
}