biblio-FrConf.bib

@inproceedings{field,
  author = {Delahaye, David and Mayero, Micaela},
  title = {{\tt Field}: une proc\'edure de d\'ecision pour les nombres
           r\'eels en {C}oq},
  booktitle = {{J}ourn\'ees {F}rancophones des {L}angages {A}pplicatifs,
              Pontarlier},
  publisher = {INRIA},
  month = {Janvier},
  year = {2001},
  http = {http://www-lipn.univ-paris13.fr/~mayero/publis/field.ps.gz}
}

This file was generated by bibtex2html 1.91.