2005-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2005-report.cite -ob 2005-report.bib -c 'year = 2005 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@mastersthesis{ayache05master,
  author = {Nicolas Ayache},
  title = {Coop\'eration d'outils de preuve interactifs et automatiques},
  school = {Universit{\'e} Paris 7},
  year = 2005,
  topics = {team},
  type_publi = {rapport},
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport}
}

@mastersthesis{sozeau05master,
  author = {Matthieu Sozeau},
  title = {{Coercion par pr{\'e}dicats en {Coq}}},
  school = {Universit{\'e} Paris 7},
  year = 2005,
  note = {In French},
  topics = {team},
  type_publi = {rapport},
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport},
  url = {http://mattam.org/research/publications/Coercion par prédicats en Coq.pdf}
}

@techreport{lucas05tr,
  author = {Salvador Lucas and Claude March\'e and Jos\'e Meseguer},
  title = {Operational Termination of Conditional Term Rewriting Systems},
  institution = {Departamento de Sistemas Inform\'aticos y Computaci\'on},
  year = 2005,
  type = {Research Report},
  number = {DSIC II/01/05},
  address = {Universidad Polit\'ecnica de Valencia, Spain},
  month = feb,
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {rapport}
}