Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems

Abderrahmane Aggoun, Nicolas Beldiceanu. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. pages 487-510, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.