Cover Image

Saved in:
Bibliographic Details
Main Authors: Charlier, Baudouin Le, Rossi, Sabina, Van Hentenryck, Pascal
Format: Preprint
Published: 2000
Subjects:
Logic in Computer Science
Programming Languages
D.2; D.3; F.3.1; F.3.2
Online Access:https://arxiv.org/abs/cs/0010028
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/cs/0010028

Similar Items