cousineau.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc cousineau.cite -ob cousineau.bib -c 'author : "Denis Cousineau" and topics : "team"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@inproceedings{cousineau12fm,
  author = {Denis Cousineau and
               Damien Doligez and
               Leslie Lamport and
               Stephan Merz and
               Daniel Ricketts and
               Hern{\'a}n Vanzetto},
  title = {{TLA+} Proofs},
  pages = {147--154},
  hal = {http://hal.inria.fr/hal-00726631},
  x-equipes = {demons PROVAL ext},
  topics = {team},
  crossref = {fm2012}
}
@inproceedings{cousineau12rta,
  author = {Denis Cousineau and Olivier Hermant},
  title = {A Semantic Proof that Reducibility Candidates entail Cut
               Elimination},
  pages = {133--148},
  doi = {10.4230/LIPIcs.RTA.2012.133},
  hal = {http://hal.archives-ouvertes.fr/hal-00743284},
  crossref = {rta12},
  x-equipes = {demons PROVAL ext},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {RTA},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn},
  topics = {team}
}
@proceedings{rta12,
  title = {23rd International Conference on Rewriting Techniques and Applications},
  booktitle = {23nd International Conference on Rewriting Techniques and Applications},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year = {2012},
  volume = {15},
  editor = {Ashish Tiwari},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Nagoya, Japan},
  isbn = {978-3-939897-38-5}
}
@proceedings{fm2012,
  editor = {Dimitra Giannakopoulou and Dominique M{\'e}ry},
  title = {FM 2012: Formal Methods - 18th International Symposium},
  booktitle = {18th International Symposium on Formal Methods},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {FM},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 7436,
  year = 2012,
  isbn = {978-3-642-32758-2},
  ee = {http://dx.doi.org/10.1007/978-3-642-32759-9}
}