External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Field, une procédure de décision pour les nombres réels en Coq

David Delahaye, Micaela Mayero. Field, une procédure de décision pour les nombres réels en Coq. In Pierre Castéran, editor, Journées francophones des langages applicatifs (JFLA 01), Pontarlier, France, Janvier, 2001. Collection Didactique, pages 33-48, INRIA, 2001.

Authors

David Delahaye

This author has not been identified. It may be one of the following persons: Look up 'David Delahaye' in Google

Micaela Mayero

This author has not been identified. Look up 'Micaela Mayero' in Google
runs on