Enregistrements BibTeX

Voici les enregistrements BibTeX de mes publications. Une bibliographie est également disponible.

- A neutral approach to proof and refutation in MALL
- 1. @inproceedings{delande08lics,
  2. author = {Olivier Delande and Dale Miller},
  3. booktitle = {23th Symp. on Logic in Computer Science},
  4. editor = {F. Pfenning},
  5. month = {Jun},
  6. pages = {498--508},
  7. publisher = {IEEE Computer Society Press},
  8. title = {A neutral approach to proof and refutation in MALL},
  9. year = {2008},
  10. }
- 1. @unpublished{delande08lics_ER,
  2. author = {Olivier Delande and Dale Miller},
  3. month = {Apr},
  4. note = {Extended report},
  5. title = {A neutral approach to proof and refutation in MALL: extended report},
  6. year = {2008},
  7. }
- Proof and refutation in MALL as a game
- 1. @article{delande10apal,
  2. author = {Olivier Delande and Dale Miller and Alexis Saurin},
  3. journal = {Annals of Pure and Applied Logic},
  4. month = {Feb},
  5. number = {5},
  6. note = {The Third workshop on Games for Logic and Programming Languages (GaLoP), Galop 2008},
  7. pages = {654--672},
  8. title = {Proof and refutation in MALL as a game},
  9. volume = {161},
  10. year = {2010},
  11. }
- Operation Based Model Representation: Experiences on Inconsistency Detection
- 1. @inproceedings{lenoir11lncs,
  2. author = {Jérôme Le Noir and Olivier Delande and Daniel Exertier and Marcos da Silva and Xavier Blanc},
  3. booktitle = {Modelling Foundations and Applications},
  4. editor = {France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard},
  5. pages = {85--96},
  6. publisher = {Springer Berlin / Heidelberg},
  7. title = {Operation Based Model Representation: Experiences on Inconsistency Detection},
  8. year = {2011},
  9. }