Constraint Solving by Narrowing in Combined Algebraic Domains

Hélène Kirchner, Christophe Ringeissen. Constraint Solving by Narrowing in Combined Algebraic Domains. In ICLP. pages 617-631, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.