Selected Scientific Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S and Author is Enea Zaffanella  [Clear All Filters]
2002
Bagnara R, Hill PM, Zaffanella E.  2002.  Set-Sharing is Redundant for Pair-Sharing. Theoretical Computer Science. 277:3–46.PDF icon BagnaraHZ02TCS.pdf (413.66 KB)
Hill PM, Bagnara R, Zaffanella E.  2002.  Soundness, Idempotence and Commutativity of Set-Sharing. Theory and Practice of Logic Programming. 2:155–201.PDF icon HillBZ02TPLP.pdf (406.08 KB)
1997
Bagnara R, Hill PM, Zaffanella E.  1997.  Set-Sharing is Redundant for Pair-Sharing. Static Analysis: Proceedings of the 4th International Symposium. 1302:53–67.