Searching for "The Correctness of Set-Sharing." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
The Correctness of Set-Sharing
- ….03 The Correctness of Set-Sharing by Patricia M Hill & Roberto Bagnara 1 & Enea Zaffanella 2 January 1998 1…
- Cited by 8 (7 self) – Add To MetaCart
-
Detecting and Exploiting Determinism in Logic Programs
- … theoretical study. We have published two papers on this theme The Correctness of Set-Sharing [8] SetSharing…
- Add To MetaCart
-
Declarative Interface for Constraint Solving
- … published in the papers The Correctness of Set-Sharing and Soundness, Idempotence and Commutativity of Set-Sharing…
- Add To MetaCart
Showing 1 through 3.
