Searching for "The Correctness of Set-Sharing." – sorted by Relevance.
-
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

