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.

BOCAL: Bibliothèque d objets pour le traitement des contraintes arithméthiques et logiques

D. Ranson, J. P. Lepape. BOCAL: Bibliothèque d objets pour le traitement des contraintes arithméthiques et logiques. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 35-50, 1992.

Authors

D. Ranson

This author has not been identified. Look up 'D. Ranson' in Google

J. P. Lepape

This author has not been identified. Look up 'J. P. Lepape' in Google
runs on