publications.bib

@INPROCEEDINGS{Julien08,
  AUTHOR = {Nicolas Julien},
  TITLE = {Certified exact real arithmetic using co-induction in arbitrary integer base},
  BOOKTITLE = {Functional and Logic Programming Symposium (FLOPS)},
  PUBLISHER = {Springer},
  SERIES = {LNCS},
  URL = {http://hal.inria.fr/inria-00202744},
  YEAR = {2008}
}

@INPROCEEDINGS{Julien07,
  AUTHOR = {Nicolas Julien},
  BOOKTITLE = {\sl Journ{\'e}es francophones pour les langages applicatifs, JFLA'07},
  TITLE = {Arithm{\'e}tique r{\'e}elle exacte certifi{\'e}e, co-induction et base arbitraire},
  URL = {http://hal.inria.fr/inria-00116820},
  YEAR = {2007}
}

This file has been generated by bibtex2html 1.83.