2005-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2005-phd.cite -ob 2005-phd.bib -c 'year = 2005 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{corbineau05these,
author = {Pierre Corbineau},
title = {D\'emonstration Automatique en Th\'eorie des Types},
school = {Universit{\'e} Paris-Sud},
year = 2005,
type = {Th{\`e}se de Doctorat},
month = sep,
topics = {team},
type_publi = {these},
x-equipes = {demons PROVAL},
x-type = {these},
x-support = {rapport}
}
@phdthesis{marche05hdr,
author = {Claude March{\'e}},
title = {Preuves m{\'e}canis{\'e}es de Propri{\'e}t{\'e}s de Programmes},
year = {2005},
month = dec,
type = {Th\`{e}se d'habilitation},
school = {Universit{\'e} Paris 11},
type_publi = {these},
pdf = {http://www.lri.fr/~marche/marche05hdr.pdf},
x-equipes = {demons PROVAL},
x-type = {habilitation},
x-support = {rapport},
topics = {team, proval}
}